HoTT/HoTT — pull request #212 by JasonGross (2013-09-23 16:03:30+00:00)
Title: Fix autogen no autoreconf

This fixes most of the problems mentioned at https://github.com/HoTT/HoTT/pull/202#issuecomment-24916827.