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

Makefile

bin/config.xml

build.txt

doc/config_linux.xml

doc/config_macosx.xml

doc/config_windows.xml

modeling/SysMLSec/at_zeuszitmo.xml

src/Test.java

src/avatartranslator/AvatarStateMachine.java

src/myutil/BoolExpressionEvaluator.java

src/tmltranslator/toavatar/TML2Avatar.java

src/ui/ADDPanel.java

src/ui/AnalysisPanel.java

src/ui/AttackTreePanel.java

src/ui/AvatarAnalysisPanel.java

src/ui/AvatarDesignPanel.java

src/ui/AvatarMADsPanel.java

src/ui/AvatarMethodologyPanel.java

src/ui/AvatarRequirementPanel.java

src/ui/CheckableLatency.java