Goodbye cobertura

Cobertura plugin is not used (I think).