Add coverage logging to phpunit.xml.dist