Tweak travis to use QuickCheck HEAD