move coverage generation to phpunit.xml

Non change, but it bugged me for no good reason.