Config AVATAR generation code and proverif for .ttool project

...ain/java/avatartranslator/toexecutable/AVATAR2CPOSIX.java

src/main/java/common/SpecConfigTTool.java

src/main/java/myutil/FileUtils.java

src/main/java/ui/MainGUI.java

...java/ui/window/JDialogAvatarExecutableCodeGeneration.java

src/main/java/ui/window/JDialogProverifVerification.java