Install QuickCheck in the travis