Removing coverage-checker stuff

Was copied from DoctrineModule, not important for us here (perhaps
someday).