Changed discussion about Excluded Middle, have no idea why the other changes in whitespace occurred
Better reference to UA -> not LEM
Added labels to unlabeled theorems
Restructured the chapter a bit, plan to finish later
A chapter on real numbers, just the outline
include the chapter on reals
Merge branch 'master' of github.com:HoTT/book