Now all deployed theories are translated
Merge branch 'develop' into feature/theory_plugin

Conflicts:
	de.prob.core/.classpath
	de.prob.core/META-INF/MANIFEST.MF
	de.prob.core/src/de/prob/eventb/translator/internal/EventBTranslator.java
added dependency to theory plug-in
bugfix: passing bound variables was not always guaranteed
Converting RuntimeExceptions to TranslationFailedExceptions,
because the latter failed silently on export to classical ProB
bugfix: ProBException is not handled initially
added translation of axiomatic definitions
organized imports
added a refactored TranslationVisitor
Now using the TranslationVisitor, comparing with old version
prototype code to find Theory -> ProB Mapping
current MANIFEST
Added a flag that shows if a theory was used
some refactoring in Theories
made dependency to theories optional (first step)
Some refactorings in the translator, moved duplicated code to super class
minor refactoring
Added handling for missing theory plugin
Merge branch 'feature/theory_plugin' into develop