Code cleanup following Issue #33: Class TMLRequest has multiple origin

src/tmltranslator/TMLMapping.java

src/tmltranslator/TMLMappingTextSpecification.java

src/tmltranslator/modelcompiler/DataTransfer.java

src/tmltranslator/modelcompiler/Operation.java

src/tmltranslator/modelcompiler/TMLModelCompiler.java

src/tmltranslator/modelcompiler/TMLModelCompilerParser.java

src/tmltranslator/toavatar/TML2Avatar.java

src/tmltranslator/toproverif/TML2ProVerif.java

src/tmltranslator/toturtle/Mapping2TIF.java

src/ui/GTMLModeling.java