HoTT/HoTT — pull request #463 by JasonGross (2014-09-06 05:55:00+00:00)
Title: 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.

Warning: this has only been lightly tested