Makefile scripts for arXiv tarball

With these changes, typing `make hott-arxiv.tar.gz` will produce a tarball suitable for uploading to the arXiv.  Note that the file `hott-arxiv.tex` is autogenerated, unlike the other `hott-*` files.