SMTChecker: Switch CVC4 from API to SMT-LIB2 interface

[blishko]

Instead of compiling solc itself with CVC4 support, it is now enough to have cvc4 executable on PATH when running the compiler. Instead of using API of CVC4, we write the queries to temporary SMT-LIB2 files and call the solver process directly to run on the file.