Earlier this summer, while most of us were dusting off our lawn chairs and scraping our barbecue grills, dozens of University of Texas students devoted their holiday to…