Added Jenkins specific cobertura target.