Update CVC4-1.4 build instructions