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

doc/avatarmodelchecker/images/conc_blocks.png

doc/avatarmodelchecker/images/conc_main.png

doc/avatarmodelchecker/images/conc_sensor.png

doc/avatarmodelchecker/ttool_avatarmodelchecker.tex

...main/java/avatartranslator/AvatarExpressionAttribute.java

src/main/java/avatartranslator/AvatarExpressionSolver.java

...ava/avatartranslator/modelchecker/AvatarModelChecker.java

...va/avatartranslator/modelchecker/CounterexampleTrace.java

...atartranslator/modelchecker/CounterexampleTraceState.java

src/main/java/ui/window/JDialogAvatarModelChecker.java

.../src/test/java/avatartranslator/AvatarExpressionTest.java