Minor changes, including typo-fixes, in description of custom options in HoTT/Coq
Merge pull request #247 from peterlefanulumsdaine/INSTALL_edits

Minor changes and corrections to INSTALL.txt