Use UTBotCpp as static analyzer and report results in SARIF

[alexey-utkin]

Description
Use UTBotCpp as static analyzer and report results in SARIF .
View SARIF result in VSCode applying MS SARIF viewer plugin

Expected behavior
SARIF report need to be provided by UTBotCpp plugin and be visible after each UTBotCpp run (for file, folder, or project)
SARIF report is always generated. Each record in SARIF report is a bug, founded by KLEE with a call stack that is fixed by generated error test.

[alexey-utkin]

About SARIF implementation:
https://github.com/microsoft/sarif-tutorials/blob/main/docs/1-Introduction.md
MS plugin for VSCode:
https://marketplace.visualstudio.com/items?itemName=MS-SarifVSCode.sarif-viewer