Fix a pervasive equality use.
Add testsuite for most reported issues on HoTT/coq
Add a tester script
Update test-suite Makefile to handle coq-prog-args