improve documentation in build-script.
improve documentation in build-script.

CVC5 still has issuues to find libpoly.

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