Change version number to reflect this is `develop` branch.

Whenever we make a release, the version number can be changed after we
create the release branch.