Merge branch 'feature/units' into develop

de.prob.core/.classpath

...e/src/de/prob/core/command/ActivateUnitPluginCommand.java

...core/src/de/prob/core/command/GetPluginResultCommand.java

...core/src/de/prob/core/command/LoadEventBModelCommand.java

...rc/de/prob/core/command/internal/InternalLoadCommand.java

...rob.core/src/de/prob/core/translator/pragmas/IPragma.java

....core/src/de/prob/core/translator/pragmas/UnitPragma.java

...core/src/de/prob/eventb/translator/ContextTranslator.java

...b/eventb/translator/internal/EventBContextTranslator.java

...b/eventb/translator/internal/EventBMachineTranslator.java

.../de/prob/eventb/translator/internal/EventBTranslator.java

...c/de/prob/eventb/translator/internal/ModelTranslator.java

de.prob.ui/.classpath

de.prob.units/.classpath

de.prob.units/.project

de.prob.units/.settings/org.eclipse.jdt.core.prefs

de.prob.units/META-INF/MANIFEST.MF

de.prob.units/build.properties

de.prob.units/icons/unit_analysis.png

de.prob.units/plugin.xml