Use PHP_CodeCoverage package for HTML coverage report printing

Related to #45