using phpunit.xml with code coverage