Add files for the QuickCheck exercise