New pom for z3 and update the txt explaining the deployment for z3
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-z3</artifactId>
<version>4.8.9-sosy0</version>
- <packaging>jar</packaging>
<name>javasmt-solver-z3</name>
<description>SMT solver Z3 for use in JavaSMT</description>
<url>https://github.com/sosy-lab/java-smt</url>
