Merge pull request #288 from andrejbauer/master

Fix @marcbezem's "double entry" 

I am pulling this in because #286 introduced a problem that this pull request fixes.
fix typo in HoTTBook.v: config -> contrib
Merge pull request #289 from JasonGross/fix-book-typo

fix typo in HoTTBook.v: config -> contrib