Add autogen.sh

We want ./configure to be an auto-generated file.  Now, instead of
running `./configure`, you run `./autogen.sh && ./configure`.
Use coq_makefile for the HoTT library

This way, we support `make html` and `make TIMED=1` and other niceties
that coq_makefile gives us.  Unfortunately, I haven't figured out how to
suppress the warning message about overwriting the `clean` target.  I'm
pretty sure I got the ordering right, though, so that the `clean` target
does what we want it to.  (There's also the slightly wonky dependency
that `clean` depends on `Makefile.coq`, but then goes and deletes it.
This is made worse by the fact that I had to put the stdlib .vo files as
a dependency for `Makefile.coq`, because I haven't figured out any other
way to inject them as dependencies in the targets of `Makefile.coq`.)
Autobuild documentation with travis

Now that we have a `make html` target, we can make the html
automatically on travis.  If travis builds something which is the same
as origin's master, then we autocommit updated documentation and push to
the gh-pages branch, where documentation is accessible at
http://hott.github.io/HoTT/coqdoc-html/.