[tests] Rework cvc5 test.

tests/simple_cvc5.t → tests/cvc5.t

 Test verify
-  $ cat - > bin/alt-ergo << EOF
-  > #!/bin/sh
-  > echo "2.4.0"
-  > EOF
-
-  $ chmod u+x bin/alt-ergo bin/pyrat.py bin/Marabou bin/saver bin/cvc5
-
-  $ bin/alt-ergo
-  2.4.0
-
-  $ bin/pyrat.py --version
-  PyRAT 1.1
-
-  $ bin/Marabou --version
-  1.0.+
+  $ chmod u+x bin/cvc5
 
-  $ bin/saver --version
-  v1.0
+  $ bin/cvc5 --version
+  This is cvc5 version 1.0.2 [git tag 1.0.2 branch HEAD]
 
   $ PATH=$(pwd)/bin:$PATH
 
-  $ caisar verify -L . --format whyml --prover=CVC5 - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9_./]*/$TMPFILE/'
+  $ caisar verify -L . --format whyml --prover=CVC5 - 2>&1 <<EOF | ./filter_tmpdir.sh
   > theory T
   >   use TestNetworkONNX.NNasTuple
   >   use ieee_float.Float64