Add CVC4, version 1.4
Merge pull request #7976 from ndr-qef/casks/cvc4

Add CVC4, version 1.4