Add script to bump version

The version must now be bumped at 4 different places. Add a script to
bump automatically:

    ./bump_version 1.23.4