Cobertura improvements, build system refactoring, bug fixes

The Cobertura writer now supports the coverage-04.dtd version of the standard. The cmake build system support has been much improved, various bugs (mostly for bash) has been corrected. Docker and debian support has been added.