jenkins_integration: cleaning up VERSION argument by making it a client-side post-commit hook
jenkins_integration: fixing bug in new_developments.sh