Use PHP_CodeCoverage package for HTML coverage report printing