Adding z3 script

modeling/scripts/z3script

+set model ./../tmlcode/specz3.tmap
+tml load $model
+tml checksyntax
+tml loadz3lib /opt/z3/bin/libz3.dylib:/opt/z3/bin/libz3java.dylib
+tml z3opt
+tml save-result ../tmlcode/z3result
+tml save-result-tml-mapping ../tmlcode/z3result

src/main/java/ui/interactivesimulation/JFrameInteractiveSimulation.java

@@ -2985,7 +2985,7 @@ public class JFrameInteractiveSimulation extends JFrame implements ActionListene
             _state = tasktm.getState(valueTable.get(new Integer(id)));
         }
 
-        TraceManager.addDev("state:" + _state);
+        //TraceManager.addDev("state:" + _state);
 
         if ((i != null) && (c != null)) {
             try {