Have PHP Spec create a coverage xml file