refactoring and simplifying the build script for the MathSAT5 library.
refactoring and simplifying the build script for the MathSAT5 library.

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