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
Merge branch 'master' of https://github.com/HoTT/HoTT
Added links for Section 2.3 in contrib/HoTTBook.v
Only slupr hoq-config once
Merge branch 'master' of https://github.com/HoTT/HoTT

I'll use rebase next time, sorry.
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
more entries to HoTTBook.v
Merge branch 'master' of https://github.com/andrejbauer/HoTT

Conflicts:
	contrib/HoTTBook.v
Merge pull request #256 from andrejbauer/master

A number of changes to configuration
Merge pull request #263 from marcbezem/master

Added links for Section 2.3 in contrib/HoTTBook.v

I am going ahead without a second pair of eyes, as it only affects contrib/HoTTBook.v