TML2Avatar translation

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/tmltranslator/TML2Avatar.java

src/tmltranslator/TMLMapping.java

src/tmltranslator/toproverif/TML2ProVerif.class

src/tmltranslator/toproverif/TML2ProVerif.java

src/ui/GTMLModeling.java

src/ui/GTURTLEModeling.java

src/ui/JToolBarMainTurtle.java

src/ui/tmldd/TMLArchiBUSNode.java

tests/Avatar/AvatarGuardTests.java