Bump coq-scripts

This supports diffing to other commits via PREV_COMMIT