Add some coq cleaning targets
Make autogen message a bit nicer
Update INSTALL