Updated QuickCheck URL.
Adding cmake build scripts.