Add build number to python plugin version.

python/build/python_plugin_build.gant

@@ -149,6 +149,10 @@ target(name: "compile", description: "Compile module python") {
     fileset(file: "${pluginHome}/pluginResources/META-INF/*.xml")
   }
 
+  ant.replace(file: "${classesDir}/META-INF/plugin.xml") {
+    replacefilter(token: "@@BUILD_NUMBER@@", value: "${buildNumber}")
+  }
+
   ant.replaceregexp(file: "${classesDir}/META-INF/plugin.xml",
                     match: "since-build=\"\\d+\\.\\d+\"",
                     replace: "since-build=\"${ideaBuildNumber}\"")

python/pluginResources/META-INF/plugin.xml

@@ -6,7 +6,7 @@
   <name>Python Community Edition</name>
   <idea-version since-build="134.1007" until-build="134.*"/>
   <description>Smart editing for Python scripts</description>
-  <version>3.1</version>
+  <version>3.1.1.134.@@BUILD_NUMBER@@</version>
   <depends>com.intellij.modules.java</depends>