Update on modelname management for simulator

modeling/DIPLODOCUS/SmartCardProtocol.xml

...slator/tomappingsystemc2/DiploSimulatorCodeGenerator.java

...lator/tomappingsystemc2/IDiploSimulatorCodeGenerator.java

...a/tmltranslator/tomappingsystemc2/TML2MappingSystemC.java

...n/java/ui/verificationpd/VerificationPropertyGeneric.java

...in/java/ui/verificationpd/VerificationPropertySafety.java

src/main/java/ui/window/JDialogSystemCGeneration.java

tmltranslator/src/main/java/TMLTranslator.java