Update cvc4 to 1.4.