./bin/bump-version.py should tag the version

[jpchauvel]

Call this in a subprocess:

git tag {version}
git push --tags