HoTT/HoTT — pull request #200 by JasonGross (2013-08-26 18:38:08+00:00)
Title: Don't have travis push if autoreconf fails

Also, don't have travis build the master-with-autoreconf-files branch.