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

The `HoTTBook.v` file now contains coqdoc comments.