Mark some progress in the HoTT/coq test-suite

I've marked new failing commands that I'm confused about with "???"; I'm
not sure whether or not they should fail there, but we should keep the
test-suite compiling, probably.
Merge branch 'hott-test-suite-progress' of https://github.com/JasonGross/coq into trunk