Update on diplo to tml translation

modeling/DIPLODOCUS/SmartCardProtocol.xml

src/main/java/avatartranslator/AvatarSpecification.java

src/main/java/avatartranslator/AvatarStateMachine.java

...ava/avatartranslator/modelchecker/AvatarModelChecker.java

src/main/java/tmltranslator/TMLMapping.java

src/main/java/tmltranslator/toavatar/FullTML2Avatar.java