Updated mathsat ant target, the gmp path is not necessary anymore
Updated mathsat ant target, the gmp path is not necessary anymore

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt