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

.idea/codeStyles/Project.xml

.idea/codeStyles/codeStyleConfig.xml

.idea/inspectionProfiles/Project_Default.xml

.idea/misc.xml

.idea/runConfigurations/All_in_ttool.xml

Makefile

build.txt

doc/config_linux.xml

doc/config_macosx.xml

doc/config_windows.xml

doc/dev_infrastructure/ttool_development_infrastructure.tex

modeling/AVATAR/CoffeeMachine_Avatar.xml

modeling/AVATAR/testprobabilities.xml

modeling/SysMLSec/DRA.xml

modeling/SysMLSec/X3DH.xml

src/main/java/avatartranslator/AvatarSyntaxChecker.java

src/main/java/avatartranslator/AvatarTransition.java

...tartranslator/directsimulation/AvatarSimulationBlock.java

.../directsimulation/AvatarSimulationPendingTransaction.java

...lator/directsimulation/AvatarSpecificationSimulation.java