More test-suite cases
Fix test-suite files.
Merge branch 'more-test-suite' of https://github.com/JasonGross/coq into JasonGross-more-test-suite

Conflicts:
	test-suite/bugs/closed/3300.v
	test-suite/bugs/closed/3373.v
3392 is now closed thanks to E. Tassi.