update documentation for building MathSAT5 with latest version number.
update documentation for building MathSAT5 with latest version number.

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