- Add missing dependency to com.microsoft.z3

- Remove some unused ones
refs 3224

org.fortiss.af3.specification/trunk/META-INF/MANIFEST.MF

@@ -18,15 +18,10 @@ Export-Package: org.fortiss.af3.specification.constraint,
  org.fortiss.af3.specification.utils
 Bundle-ActivationPolicy: lazy
 Bundle-Activator: org.fortiss.af3.specification.AF3SpecificationActivator
-Require-Bundle: org.fortiss.af3.project;visibility:=reexport,
- org.fortiss.af3.component;visibility:=reexport,
- org.fortiss.tooling.kernel;visibility:=reexport,
- org.fortiss.af3.expression;visibility:=reexport,
+Require-Bundle: org.fortiss.af3.expression;visibility:=reexport,
  org.fortiss.af3.mira;visibility:=reexport,
- org.eclipse.core.runtime,
- org.eclipse.emf.ecore;visibility:=reexport,
- org.fortiss.tooling.base;visibility:=reexport,
- org.fortiss.pragmatictransformation;bundle-version="2.12.0",
+ org.fortiss.pragmatictransformation,
  org.fortiss.af3.tools,
- org.fortiss.af3.state;visibility:=reexport;bundle-version="2.12.0",
- org.fortiss.af3.ocra
+ org.fortiss.af3.state;visibility:=reexport,
+ org.fortiss.af3.ocra,
+ com.microsoft.z3