Fix funind w.r.t. universes
Print universes in module printing
Update test-suite Makefile to handle coq-prog-args
Add testsuite for most reported issues on HoTT/coq
Add a tester script