Merge branch 'develop' of github.com:bendisposto/prob into develop

de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF

de.bmotionstudio.rodin/META-INF/MANIFEST.MF

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

de.prob.core/build.gradle

de.prob.core/plugin.xml

de.prob.core/schema/de.prob.translator.exsd

de.prob.core/src/de/prob/core/Animator.java

...core/src/de/prob/core/translator/IExternalTranslator.java

...c/de/prob/core/translator/TranslationFailedException.java

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

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

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

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

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

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

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

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

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

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

de.prob.ui/plugin.xml