Relocate cobertura plugin
Merge pull request #12 from fluxroot/PULSE-14-relocate-cobertura

Relocate cobertura plugin

PULSE-14 #wait