ignore backup files for HoTTBook.v
Bring contrib/HoTTBook.v in sync with current version of book
Change the make target so that it builds coqide as well
Change instructions to include the coqide dependencies
Install coqide dependencies as well
Do not look in PATH for coq when COQBIN is set
Make hoq scripts fail gracefully
Separate ci/install_coq_deps.sh and install_coq_deps.sh
etc/install_coq.sh builds coqlight and coqide only
Uniform treatment of hoq* scripts
Only slupr hoq-config once
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.
correct pointer to pointedType
Merge pull request #256 from andrejbauer/master

A number of changes to configuration