use eclipse compatible version numbers

de.prob.eventb.disprover.core/META-INF/MANIFEST.MF

@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: ProB Disprover Core for EventB
 Bundle-SymbolicName: de.prob.eventb.disprover.core;singleton:=true
-Bundle-Version: 1.3.2
+Bundle-Version: 1.3.2.qualifier
 Bundle-Vendor: Heinrich-Heine University Dusseldorf
 Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
  org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",

de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF

@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: ProB Disprover UI for EventB
 Bundle-SymbolicName: de.prob.eventb.disprover.ui;singleton:=true
-Bundle-Version: 2.0.3
+Bundle-Version: 2.0.3.qualifier
 Bundle-Vendor: Heinrich-Heine University Dusseldorf
 Require-Bundle: org.eventb.core.seqprover;bundle-version="[2.6.0,3.0.0)",
  org.eventb.ui;bundle-version="[2.5.0,3.0.0)",