Bump coq-scripts

This supports diffing to other commits via PREV_COMMIT
Fixed False_hp, added Negation_hp and Bool_to_hProp