Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool

src/.classpath

src/main/java/proverifspec/ProVerifOutputAnalyzer.java

src/main/java/tmltranslator/TMLModeling.java

src/main/java/tmltranslator/toavatar/TML2Avatar.java

src/main/java/ui/AvatarDesignPanel.java

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/util/IconManager.java

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

ttool/launch_configurations/TTool.launch