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
Fixed False_hp, added Negation_hp and Bool_to_hProp
Removed Bool_to_hProp due to error
added is_true : Bool -> hProp
trailing newlines removed, Negation_hp simplified
Make a notation for trunc_S

This closes #525
Merge pull request #528 from marcbezem/master

Fixed False_hp, added Negation_hp
Merge pull request #532 from JasonGross/trunc-S-notation

Make a notation for trunc_S
Qualifying imports

Signed-off-by: Jason Gross <jgross@mit.edu>