Bump coq-scripts

This supports diffing to other commits via PREV_COMMIT
./autogen.sh