Bump version number, post release.