Custom dotnet sdk

[Domonion]

Description

Currently Rider plugin and VSharp relies on fact that dotnet is installed and configured in PATH. That dotnet is used to create projects and execute VSharp process. This can lead to deviations when several dotnets are installed, and the version in PATH is not the one project uses.

Expected behavior

There should be a way to configure which dotnet will be used by VSharp.

[Domonion]

Possibly solutions:

1. Dotnet tool - reseach, Rider plugin dotnet-tool #1738
2. Provide path to dotnet expilicitly - parse dotnet info or UI setting
3. Notification if user configuration is incorrect
   Research required