Don't push if autoreconf fails

Also, don't have travis build the master-with-autoreconf-files branch.
Get rid of temporary file usage.

Hopefully I got the quoting right.
Silence travis on push

This fixes https://github.com/HoTT/HoTT/pull/199#issuecomment-23296261
Merge pull request #203 from JasonGross/silence-travis

Silence travis