Setup QuickCheck test.
Add README.md and Main.hs.