Merge branch 'master' of https://gitlab.telecom-paristech.fr/mbe-tools/TTool

src/main/java/proverifspec/ProVerifResultTrace.java

src/main/java/ui/ActionPerformer.java

src/main/java/ui/JMenuBarTurtle.java

src/main/java/ui/JToolBarMainTurtle.java

src/main/java/ui/ModeManager.java

src/main/java/ui/TGComponent.java

src/main/java/ui/TGUIAction.java

src/main/java/ui/window/JDialogADDBusNode.java

src/main/java/ui/window/JDialogADDCPUNode.java

src/main/java/ui/window/JDialogADDCoproMWMRNode.java

src/main/java/ui/window/JDialogADDCrossbarNode.java

src/main/java/ui/window/JDialogADDICUNode.java

src/main/java/ui/window/JDialogADDMemoryNode.java

src/main/java/ui/window/JDialogADDTTYNode.java

src/main/java/ui/window/JDialogADDTimerNode.java

src/main/java/ui/window/JDialogADDVgmnNode.java

src/main/java/ui/window/JDialogArchiKey.java

src/main/java/ui/window/JDialogArrayGet.java

src/main/java/ui/window/JDialogArraySet.java

src/main/java/ui/window/JDialogArtifact.java