Removed the rule for contrib/HoTTBook.v from Makefile.am, not ready to insert it yet