Update to the latest dev release of CVC4
Add regex compiler debug output to CVC4 constraint files
Use the CVC4 string replace function