Change version of CVC5 to most likely first release and add cvc5 config to used solvers configs
Change version of CVC5 to most likely first release and add cvc5 config to used solvers configs

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