Bump version numbers for release.