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

.idea/codeStyles/codeStyleConfig.xml

.idea/misc.xml

build.txt

dsescripts/script1.dse

executablecode/Makefile.src

modeling/DIPLODOCUS/SmartCardProtocol.xml

modeling/SysMLSec/SGX_key_exchange.xml

rundse/manifest.txt

simulators/c++2/Makefile

...ain/java/avatartranslator/toexecutable/AVATAR2CPOSIX.java

src/main/java/avatartranslator/touppaal/AVATAR2UPPAAL.java

src/main/java/common/ConfigurationTTool.java

src/main/java/common/SpecConfigTTool.java

src/main/java/dseengine/DSEConfiguration.java

src/main/java/dseengine/DSESimulationResult.java

src/main/java/myutil/FileUtils.java

src/main/java/tmltranslator/TMLCPTextSpecification.java

src/main/java/tmltranslator/TMLMapping.java

src/main/java/tmltranslator/TMLMappingTextSpecification.java

src/main/java/tmltranslator/TMLTextSpecification.java