Revert "Enable cobertura for more submodules"

This reverts commit 4080f77da3d241ac4f24e0d80a2b7526c16d64ce.
Revert "Fix the build"

This reverts commit 214634439745c94b0a74ef80589390a0392d7393.
Revert "See if sending coverage from Travis works"

This reverts commit 5a941393f79a414441dfe8d8f9890d242cafe89d.
Introduce a build project property for CI detection