fixed TML2Avatar

src/avatartranslator/AvatarTransition.java

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/proverifspec/ProVerifPitypeSyntaxer.java

src/tmltranslator/TMLRequest.java

src/tmltranslator/toavatar/TML2Avatar.java

src/ui/GTMLModeling.java