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
Include Pointed in HoTT
Include new files in Adjoint.v and categories.v
Add separate targets for hott-{categories,core}

This closes #257.

This closes #240.

You now need to update Makefile_targets.mk if you add a file.  This will
go in some documentation soon; the wiki and/or some files.

I'm not sure what the best order of files is in Makefile_targets.mk
(which determines the order in the TOC).  In particular, I'm not sure if
we want to enforce a strict "dependencies come first" order, or if we
want a conceptual grouping, and put things in the same folder together.

Perhaps we should also have a "strict" target of the makefile that fails
if there are any commited .v files which are not listed in
Makefile_targets.mk?

Currently, we, by default, build both hott-categories and hott-core.
We may decide to change this, and, if we do, we should update travis to
build both.  Perhaps we should also add a target for the HoTT book in
contrib?
Update README about Makefile_targets.mk
Add a strict and strict-test target

They fail if someone forgets to update Makefile_build.mk.
Add to README, fix clean target

I'm not sure why = works better than :=
Work around stupidity of automake
Merge pull request #261 from JasonGross/separate-categories-target

Separate categories target
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