[FEATURE] New Matcher: MatchUntilConvergence

[Hendrik-code]

Is your feature request related to a problem? Please describe. A matcher class that matches like the naive matcher (so each prediction instance to the best reference) but then repeats this process until no overlapping labels are left, so automatically is a many-to-one matcher.

(passed as issue from old documentation, do we still need this?)