update git version number in git to dev version (odd MINOR)
document the release process better