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
Removing admits, one left due to universe inconsistency.
No axioms left (apart from Funext).

More documentation on the use of canonical structures.
Moving between records and sigmas should now be easier.
However, I am not sure whether this is the most optimal way of expressing this.
There is still quite a bit of boiler plate code.
Removing one last admit.
Remove use of funext-axiom
Adding more documentation, applying JasonGross suggestions.
Simplifying
cleaning up
Removing hProp as a Class. It is not needed.
Adding documentation on Canonical Structures
Docs
docs
Cleaning up
More informaitve names
Merge pull request #206 from spitters/master

Removing admits, one left due to universe inconsistency.
Remove outdated notations `pr1` and `pr2`

Replace them with `.1` and `.2`.
Merge pull request #203 from JasonGross/silence-travis

Silence travis
Merge pull request #207 from JasonGross/remove-pr-notations

Remove outdated notations `pr1` and `pr2`