added support for export PHP_CodeCoverage object to .smart format