Merge coverage files locally

[zickgraf]

Every tested package generates its own coverage.json. Currently, we rely on Codecov to find and merge all those files. We could do this manually in process_coverage.py. This would probably lead to faster uploads and faster and less error-prone processing by Codecov.