fix some things in homotopy chapter; add generic encode/decode
Merge branch 'master' of github.com:HoTT/book
notes on homotopy, to the best of my recollection
notes on homotopy, to the best of my recollection