fix typo in HoTTBook.v: config -> contrib
Merge pull request #289 from JasonGross/fix-book-typo

fix typo in HoTTBook.v: config -> contrib
Add some more synonyms of [apD10_path_forall] for rewriting
Merge pull request #293 from JasonGross/ap10-path-forall

Add some more synonyms of [apD10_path_forall] for rewriting