small improvements (?)
Added explanatory comment in Connectedness
Updated HoTTBook.v with new labels
Merge pull request #104 from andrejbauer/master

Updated HoTTBook.v
Merge branch 'master' into connectedness