release-version.sh: add --dev-version parameter

This parameter is useful when the release plugin's built-in version
increment heuristic does not produce the desired new version.