Added a script to texify results from crunch.py