Update on Avatar relations

modeling/AVATAR/CoffeeMachine_Avatar.xml

modeling/AVATAR/testMC.xml

modeling/DIPLODOCUS/SmartCardProtocol.xml

modeling/testModelCheckerAvatar/testClocks.xml

src/main/java/avatartranslator/AvatarComposedGuard.java

src/main/java/avatartranslator/AvatarSpecification.java

src/main/java/avatartranslator/AvatarStateMachine.java

src/main/java/avatartranslator/AvatarTuple.java

src/main/java/avatartranslator/AvatarUnaryGuard.java

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

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

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/MainGUI.java

src/main/java/ui/avatarbd/AvatarBDPortConnector.java