set the cobertura format and other little configuration options?