Improved contrib/HoTTBook.v and etc/Book.py, close #272

The `HoTTBook.v` file now contains coqdoc comments.
Merge pull request #273 from andrejbauer/master

Improved contrib/HoTTBook.v and etc/Book.py, close #272