remove CVC4 from INSTALL

CVC4 doesn't work well with STACK since it's strict on variable
names (e.g., cannot start with @).  We should probably fix that.