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.