Add CVC4, version 1.4

Their versioning and package naming scheme is somewhat unclear. However, I have not encountered any issue with the Mavericks package on Yosemite.