Update on TTool with cli script foe debug

modeling/DIPLODOCUS/SmartCardProtocol.xml

src/main/java/avatartranslator/AvatarArithmeticOp.java

src/main/java/avatartranslator/AvatarGuard.java

src/main/java/avatartranslator/AvatarTerm.java

src/main/java/avatartranslator/AvatarTransition.java

src/main/java/avatartranslator/AvatarTuple.java

src/main/java/cli/Interpreter.java

src/main/java/myutil/BoolExpressionEvaluator.java

src/main/java/myutil/IntExpressionEvaluator.java

src/main/java/ui/AvatarDesignPanelTranslator.java