links HoTTBook, Ch. 2.10-15 -> library
Merge pull request #286 from marcbezem/master

Done with references HoTTBook, Ch.2 -> library (second try)