Bump repository version to 0.13.1

Version 0.13.0 is announced although products use 0.12.1 so next version
should be 0.13.1. In case decision to be 0.14.0 is made repo should be
bumped again.

Signed-off-by: Alexander Kurtakov <[email protected]>

Author: akurtakov

repository/epp.product

@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <?pde version="3.5"?>
 
-<product name="Eclipse IDE for JavaScript and Web Developers" uid="org.eclipse.wildwebdeveloper.product" id="org.eclipse.wildwebdeveloper.product.branding.product" application="org.eclipse.ui.ide.workbench" version="0.12.1.qualifier" useFeatures="true" includeLaunchers="true">
+<product name="Eclipse IDE for JavaScript and Web Developers" uid="org.eclipse.wildwebdeveloper.product" id="org.eclipse.wildwebdeveloper.product.branding.product" application="org.eclipse.ui.ide.workbench" version="0.13.1.qualifier" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <image path="/org.eclipse.wildwebdeveloper.product.branding.product/eclipse_lg.png"/>

repository/pom.xml

@@ -7,7 +7,7 @@
 		<version>0.5.0-SNAPSHOT</version>
 	</parent>
 	<packaging>eclipse-repository</packaging>
-	<version>0.12.1-SNAPSHOT</version>
+	<version>0.13.1-SNAPSHOT</version>
 
 	<build>
 		<plugins>