Update the install script to retry after cleaning

Sometimes, Coq's Makefile is terrible at noticing that things have
changed.  So we try to clean up if `make` fails.

Also, we don't need to patch `configure` anymore; Coq trunk uses a
configure.ml file.
Merge pull request #463 from JasonGross/autoclean-on-make-failure

Seem to work on my Mac.
starting to experiment with a new way to organize reflective subuniverses
typeclasses for reflective subuniverses
starting on modalities
finish fixing up modalities
truncation is a modality
closed subtoposes
rename
reflective subuniverses to modalities
rewrite implies opaque
mark exercises