Add sarif results minimization #490

[mmvpm]

Description

Minimize the displayed SARIF results.

Now only one result is displayed for one detected error:

Fixes #490

Type of Change

• New feature (non-breaking change which adds functionality)

How Has This Been Tested?

Automated Testing

org.utbot.sarif.SarifReportTest

Manual Scenario

See details in the issue #490

Checklist:

• The change followed the style guidelines of the UTBot project
• Self-review of the code is passed
• The change contains enough commentaries, particularly in hard-to-understand areas
• Tests that prove my change is effective
• All tests pass locally with my changes

[sergeypospelov]

Everything is OK, but I'd like to see a little bit more tests. Also maybe add some simple clarifying examples of minimization to the commentaries or even to the documentation? (it's just a suggestion)