Update info on librairies

ttool/META-INF/MANIFEST.MF

 Manifest-Version: 1.0
-Class-Path: jsoup-1.8.1.jar commons-codec-1.10.jar gs-core-1.3.jar gs-ui-1.3.jar commons-io-2.5.jar commons-math3-3.6.1.jar batik-awt-util.jar batik-dom.jar batik-svggen.jar batik-util.jar batik-xml.jar jautomata-core.jar
+Class-Path: jsoup-1.8.1.jar commons-codec-1.10.jar gs-core-1.3.jar gs-ui-1.3.jar commons-io-2.5.jar commons-math3-3.6.1.jar batik-awt-util.jar batik-dom.jar batik-svggen.jar batik-util.jar batik-xml.jar jautomata-core.jar com.microsoft.z3
 Main-Class: Main
 

ttool/build.gradle

@@ -33,6 +33,7 @@ dependencies {
     compile name: 'batik-dom'
     compile name: 'batik-awt-util'
     compile name: 'jautomata-core'
+    compile name: 'com.microsoft.z3'
     compile name: 'assertj/assertj-swing/3.8.0/assertj-swing-3.8.0'
     compile name: 'assertj/assertj-swing/3.8.0/assertj-swing-3.8.0-sources'
     compile name: 'assertj/assertj-swing-junit/3.8.0/assertj-swing-junit-3.8.0'

ttool/ttool.txt

 Main-Class: Main
-Class-Path:  ./opencloud.jar ./JavaPlot.jar ./derbynet.jar ./commons-math3-3.6.1.jar ./jsoup-1.8.1.jar ./commons-codec-1.10.jar ./gs-core-1.3.jar ./gs-ui-1.3.jar ./commons-io-2.5.jar ./batik-awt-util.jar ./batik-dom.jar ./batik-svggen.jar ./batik-util.jar ./batik-xml.jar ./jautomata-core.jar 
+Class-Path:  ./opencloud.jar ./JavaPlot.jar ./derbynet.jar ./commons-math3-3.6.1.jar ./jsoup-1.8.1.jar ./commons-codec-1.10.jar ./gs-core-1.3.jar ./gs-ui-1.3.jar ./commons-io-2.5.jar ./batik-awt-util.jar ./batik-dom.jar ./batik-svggen.jar ./batik-util.jar ./batik-xml.jar ./jautomata-core.jar ./com.microsoft.z3.jar