Fixup autoconf

Try to make Makefile.am and configure.ac a bit more robust to strange systems.  So much churn. :-(  (This is why I don't like including autogenerated files, as mentioned at https://github.com/HoTT/HoTT/pull/180#issuecomment-22844816.)