AVATAR: update on internal simulator

modeling/proverif.xml

...tartranslator/directsimulation/AvatarSimulationBlock.java

.../directsimulation/AvatarSimulationPendingTransaction.java

...nslator/directsimulation/AvatarSimulationTransaction.java

...lator/directsimulation/AvatarSpecificationSimulation.java

src/avatartranslator/touppaal/AVATAR2UPPAAL.java

src/ui/AvatarDesignPanelTranslator.java

src/ui/ColorManager.java

src/ui/GTURTLEModeling.java

src/ui/MainGUI.java

src/ui/TDiagramPanel.java

src/ui/TGComponent.java

src/ui/TGConnector.java

src/ui/TGUIAction.java

src/ui/avatarsmd/AvatarSMDToolBar.java