AVATAR: Update on proverif generator

src/avatartranslator/AvatarSpecification.java

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/ui/AvatarDesignPanelTranslator.java

src/ui/MainGUI.java

src/ui/TGComponentManager.java

src/ui/TGUIAction.java

src/ui/avatarbd/AvatarBDBlock.java

src/ui/avatarbd/AvatarBDToolBar.java

src/ui/avatarpd/AvatarPDPropertyConnector.java

src/ui/avatarsmd/AvatarSMDTransitionInfo.java