Add quickcheck project and update gitignore