update submodule coq version

I think it got bumped back somehow.  The differences are minor, covering
one more case in the type-in-type patch.