bump version to 2.0.13

Author: stefankueng

version.build.in

@@ -4,7 +4,7 @@
         <setenv>
             <variable name="MajorVersion" value="2" />
             <variable name="MinorVersion" value="0" />
-            <variable name="MicroVersion" value="12" />
+            <variable name="MicroVersion" value="13" />
             <variable name="WCREV" value="$WCLOGCOUNT$" />
             <variable name="WCDATE" value="$WCDATE$" />
         </setenv>