translator job: file extension of forward translation is calculated from
name of transformation system
Merge branch 'master' of https://github.com/de-tu-berlin-tfs/Henshin-Editor.git
translation job: generation of xmi file only, if output format unknown