Add a tester script
Add testsuite for most reported issues on HoTT/coq