Quickcheck submodule now points to a mirror repo under the UFZ org.

This will prevent Travis-builds from failing because of the bad
availability of the original git repo.