added coverage logging to phpunit.xml.dist