Removed an uneeded Check.
Merge branch 'master' of github.com:HoTT/HoTT

Conflicts:
	theories/HSet.v
Merge branch 'master' of git://github.com/HoTT/HoTT
Added contrib/HoTTBook.v
Merge branch 'master' of git://github.com/HoTT/HoTT
Fiddling with Makefile.am
Merge branch 'master' of git://github.com/HoTT/HoTT
Fixed bug which caused generation of hoqide in the wrong cases
Better Makefile
new configure, who know why
Script to process contrib/HoTTBook.v
Removed the rule for contrib/HoTTBook.v from Makefile.am, not ready to insert it yet
hit: change Import to Export
Merge pull request #102 from andrejbauer/master

Changes to Makefile.am, etc/Book.py script to link the HoTT library to the HoTT book. Ok, I am pulling myself in since nobody has done so far.
Merge branch 'master' of github.com:HoTT/HoTT into upstream
Merge branch 'master' into connectedness
Rewrote the [moveR_Mp] etc family for more explicit terms.
Added family [isequiv_moveR_Mp] etc.
Completed key lemma on connectedness: truncatedness of the space of extensions.