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

build.txt

doc/cli/scriptDSEWithZ3

doc/cli/scriptOpenModel

executablecode/Makefile.src

modeling/AVATAR/AirbusDoor.xml

modeling/AVATAR/AirbusDoor_V2.xml

modeling/AVATAR/PressureController.xml

modeling/DIPLODOCUS/simpleSDF.xml

simulators/c++2/src_simulator/arch/FPGA.cpp

simulators/c++2/src_simulator/arch/FPGA.h

simulators/c++2/src_simulator/arch/OrderScheduler.cpp

simulators/c++2/src_simulator/arch/RRScheduler.cpp

simulators/c++2/src_simulator/definitions.h

simulators/c++2/src_simulator/evt/ListenersSimCmd.cpp

simulators/c++2/src_simulator/sim/Simulator.cpp

src/main/java/tmltranslator/TMLActivity.java

src/main/java/tmltranslator/TMLActivityElementChannel.java

src/main/java/tmltranslator/TMLModeling.java

src/main/java/tmltranslator/TMLTask.java

src/main/java/tmltranslator/TMLTextSpecification.java