Fix autogen no autoreconf

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