Update on BoolExpr evaluation: not yet available for avatar, just for testing

doc/dev_infrastructure/ttool_development_infrastructure.tex

modeling/modelsForTestingTTool/testavatar.xml

modeling/testModelCheckerAvatar/testClocks.xml

src/Test.java

src/myutil/BoolExpressionEvaluator.java

src/ui/graph/AUTGraph.java

src/ui/window/JDialogAvatarModelChecker.java

tests/Avatar/AvatarBoolExprTests.java

tests/Avatar/AvatarGuardTests.java