quickcheck/.gitignore