Update CVC4 installation instructions