Merge pull request #273 from andrejbauer/master

Improved contrib/HoTTBook.v and etc/Book.py, close #272
Incporporated @marcbezem's changes