Introduce utbot-usvm module and use it in contest

[EgorkaKulikov]

Description

Introduce utbot-usvm module and use it in contest to use it in utbot-framework

How to test

Manual tests

Verify that ContestEstimator can still be run.

Self-check list

• [x] I've set the proper labels for my PR (at least, for category and component).
• [x] PR title and description are clear and intelligible.
• [x] I've added enough comments to my code, particularly in hard-to-understand areas.
• [ ] The functionality I've repaired, changed or added is covered with automated tests.
• [ ] Manual tests have been provided optionally.
• [x] The documentation for the functionality I've been working on is up-to-date.