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

Makefile

build.txt

doc/ttool_windows.bat

modeling/SysMLSec/AliceAndBob.xml

modeling/SysMLSec/README

modeling/SysMLSec/at_zeuszitmo.xml

simulators/c++2/.gitignore

simulators/c++2/launch_configurations/c++2 Debug.launch

simulators/c++2/schedstyle.css

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

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

src/.classpath

src/Test.java

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/myutil/BoolExpressionEvaluator.java

src/proverifspec/ProVerifEquation.java

src/proverifspec/ProVerifPiSyntaxer.java

src/proverifspec/ProVerifPitypeSyntaxer.java

src/proverifspec/ProVerifSyntaxer.java

src/tmltranslator/toproverif/TML2ProVerif.java