-install QuickCheck
Merge pull request #1 from NICTA/master

-install QuickCheck