Added the HoTT book.
Merge pull request #180 from Xazax-hun/master

Added the HoTT book.