Fix folder structure in CVC5 compile script and use the correct jar name based on a link in it
Fix folder structure in CVC5 compile script and use the correct jar name based on a link in it

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