Switch back to cobertura; added coordinates for Travis-CI