Mark Errata (auto)
Updated Reading_HoTT_in_Coq for Coq 8.4pl3
clarify ex 9.4, close #590
Merge pull request #592 from mikeshulman/pre2categories

clarify ex 9.4, close #590