add cobertura support
Merge branch 'spring' of github.com:atomim/miniohtu into spring