Heine Borel compactness
renamed HB and BW property to compactness
mean value theorem in an exercise
Merge branch 'master' of github.com:HoTT/book