updated pitest and cobertura settings