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

build.txt

src/avatartranslator/AvatarPragma.java

src/launcher/ExecutionThread.java

src/launcher/RshClient.java

src/launcher/RshClientReader.java

src/proverifspec/ProVerifOutputAnalyzer.java

src/proverifspec/ProVerifOutputListener.java

src/ui/DefaultText.java

src/ui/GTURTLEModeling.java

src/ui/interactivesimulation/JFrameSimulationSDPanel.java

src/ui/interactivesimulation/JSimulationSDPanel.java

src/ui/window/JDialogProverifVerification.java