Merge branch 'feature/units' into develop
update units feature
update build properties. add icon folder to export.
Getting Type Environment now from the model or context, not using the default. Introduced two distinct constructors for ContextTranslator to handle ISCContextRoot and ISCInternalContext properly.
Merge remote-tracking branch 'origin/develop' into develop
removed "continue"
move prob core unit tests to their own plugin
remove old test folder
renamed package
add test case for translation of empty context
test cases for context translation
fix typo
test case machine translation including variables
fix empty translations testcase
renamed files to tycho's expected format
refactored test case from fragment to plugin
remove dependency to de.prob.unit from de.prob.core.tests
Catch illegalargumentexception occurring if the unitPragmaAttribute does not exist in the Rodin Database. Might fix that by moving the attribute from the unit plugin to the ProB Core.
add error marked on no units / multiple units, for variables and constants