Increment version number, to be ready for a new release.