Add a version number to the `SetupForDevelopment.sh` script and use
a pre-commit hook to check when it changes.