Add timeout tests to SARIF report

[mmvpm]

Description

Tests that fall by timeout are now supported in SARIF report. This is necessary to display them on the Problems tab:

To add a new exception to SARIF we need the stacktrace, but UtTimeoutException doesn't have a stack trace, so I'll have to construct it from UtExecution.coverage.

Fixes #1391

Type of Change

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

How Has This Been Tested?

Regression and integration tests

org.utbot.sarif.SarifReportTest

Automated Testing

org.utbot.sarif.SarifReportTest

Manual Scenario

1. Run test generation on the method that executes too long
2. Check that there is a result on the Problems view if the test with annotation @timeout

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
• New documentation is provided or existed one is altered
• No new warnings
• New tests have been added
• All tests pass locally with my changes