AVATAR-to-ProVerif: update

src/avatartranslator/AvatarStateMachineElement.java

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/proverifspec/ProVerifOutputAnalyzer.java

src/ui/GTURTLEModeling.java

src/ui/MainGUI.java

src/ui/window/JDialogProVerifGeneration.java