Added contrib/HoTTBook.v