Bump coq-scripts

This supports diffing to other commits via PREV_COMMIT
export hit.Connectedness from HoTT
Merge pull request #529 from mikeshulman/importconn

export hit.Connectedness from HoTT
Teach coqdep not to look at HoTT on making stdlib

This silences the warnings about duplicated files.
Merge pull request #530 from JasonGross/fix-warnings

Teach coqdep not to look at HoTT on making stdlib
Add [simpl erewrite] variants of [simpl rewrite]

Done by copy/paste and s/rewrite/erewrite and s/constr/open_constr/
WIP
WIP
WIP
Correct error number
WIP
WIP