Better processing of contrib/HoTTBook.v, closes #262

* Better help and usage messages.
* Warning message visible when no *.aux files given.
* Correct ordering of theorems.
* Deleted page numbers, as they differ between versions of the book.
* Include Axioms.