Change concolic.py tests to access files without a PHP web server
Add option to select solver and add basic support for the CVC4 solver