A Jenkins plugin for easy updating of Android versionName and versionNumber fields