HoTT/HoTT — pull request #231 by JasonGross (2013-10-22 16:59:07+00:00)
Title: Pretty timing scripts

Add some scripts to allow easy performance tracking (at least if you have python installed), and have `make` give less spew when you use the `TIMED=1` option.