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

modeling/SysMLSec/AliceAndBob.xml

src/avatartranslator/AvatarAttributeState.java

src/avatartranslator/AvatarPragma.java

src/avatartranslator/AvatarPragmaAuthenticity.java

src/avatartranslator/AvatarPragmaReachability.java

src/avatartranslator/AvatarPragmaSecret.java

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/proverifspec/ProVerifOutputAnalyzer.java

src/proverifspec/ProVerifProperty.java

src/proverifspec/ProVerifQueryAuthResult.java

src/proverifspec/ProVerifQueryResult.java

src/proverifspec/ProVerifResultTrace.java

src/proverifspec/ProVerifResultTraceStep.java

src/proverifspec/ProVerifSyntaxer.java

src/tmltranslator/TMLModeling.java

src/tmltranslator/toavatar/TML2Avatar.java

src/ui/ActionPerformer.java

src/ui/AvatarDesignPanel.java

src/ui/GTURTLEModeling.java

src/ui/JToolBarMainTurtle.java