Setup for QuviQ's invaluable QuickCheck CI service.