Lazy-load PHP_CodeCoverage, so it is fine to run the program with code coverage disabled and PHP_CodeCoverage not installed