[Feature] Distributed code coverage

[delsner]

For future use cases in distributed systems, JTeC should support collecting distributed coverage using OpenTelemetry.

The extension point is in jtec-core in the class edu.tum.sse.jtec.instrumentation.coverage.CoverageInstrumentation:

    private AgentBuilder.Transformer getCoverageTransformer() {
        // TODO: We can extend JTeC here in the future, e.g., to support distributed coverage,
        //  by simply creating a transformer with different parameters here.
        return CoverageTransformer.create(coverageLevel);
    }

    private CoverageProbeFactory createCoverageProbeFactory() {
        // TODO: We can extend JTeC here in the future, e.g., to support distributed coverage,
        //  by simply adding new coverage probe factories.
        return new ProcessCoverageProbeFactory();
    }