ProVerif: code generation from Avatar diagrams: first sketch

Makefile

src/Main.java

src/avatartranslator/AvatarBlock.java

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/proverifspec/ProVerifFunction.java

src/proverifspec/ProVerifProcess.java

src/proverifspec/ProVerifQuery.java

src/proverifspec/ProVerifSpec.java

src/ui/ConfigurationTTool.java

src/ui/GTURTLEModeling.java

src/ui/JToolBarMainTurtle.java

src/ui/MainGUI.java

src/ui/TGUIAction.java