cite Hofmann and Streicher for univalence and categories (pointed out by Benedikt)
improved phrasing, more detail
Merge pull request #522 from mikeshulman/citehs

cite Hofmann and Streicher for univalence and categories