bump version numbers for new release

de.prob2.disprover.feature/feature.xml

@@ -2,7 +2,7 @@
 <feature
       id="de.prob2.disprover.feature"
       label="ProB for Rodin2 - EXPERIMENTAL (Dis)Prover"
-      version="2.4.5.qualifier"
+      version="2.4.7.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">

de.prob2.feature/feature.xml

@@ -2,7 +2,7 @@
 <feature
       id="de.prob2.feature"
       label="ProB for Rodin2"
-      version="2.4.6.qualifier"
+      version="2.4.7.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">

de.prob2.symbolic.feature/feature.xml

@@ -2,7 +2,7 @@
 <feature
       id="de.prob2.symbolic.feature"
       label="ProB for Rodin2 - Symbolic Constants Support"
-      version="2.4.5.qualifier"
+      version="2.4.7.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">

de.prob2.units.feature/feature.xml

@@ -2,7 +2,7 @@
 <feature
       id="de.prob2.units.feature"
       label="ProB for Rodin2 - Physical Units Support"
-      version="2.4.5.qualifier"
+      version="2.4.7.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">