Added ability to export PHP_CodeCoverage object to .smart format