Remove quickcheck-ci files