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

build.txt

executablecode/Makefile.src

modeling/modelsForTestingTTool/UPPAALtest.xml

src/main/java/avatartranslator/AvatarTerm.java

src/main/java/ui/MainGUI.java

src/main/java/ui/TGUIAction.java

src/main/java/ui/TURTLEPanelPopupListener.java

src/main/java/ui/util/DefaultText.java

ttool/src/test/java/avatartranslator/AvatarGuardTests.java