HoTT/HoTT — pull request #473 by JasonGross (2014-09-08 09:22:06+00:00)
Title: make clean in the install script

As per
https://github.com/HoTT/HoTT/commit/bab2b34719108dbc5da66ac40c6fe01e64f4071b#commitcomment-7695206,
this will prevent having subtlely inconsistent .vo files when you
recompile Coq.