Using var_export instead of serialize for PHP_CodeCoverage object export