Formatting the phpunit.xml and adding coverage-html