Update the Travis structure
Fix the distro
Fix the QuickCheck dep