Changes to Makefile.am, etc/Book.py script to link the HoTT library to the HoTT book.

The script etc/Book.py works ok, but I still need to put in a Makefile rule for it.