added coverage logging to phpunit.xml