Introduce utbot-light module

[Markoutte]

Description

Adds a new module utbot-light that build a single jar with all dependencies. It is needed to use this fat-jar as a library that can be completely plugged with a separate class loader (as plugins usually do). There're a number of changes:

1. Added a new option to disable UNSAT checking: UtSettings.disableUnsatChecking.
2. Remove all shadow jars because they look useless. They all use classifier with the space (' ') which produces artifact with name utbot-{module name and version}-.jar.
3. Temporary disable modules utbot-gradle and utbot-maven as they cannot be built right now.
4. Added UtMulNoOverflowExpression to the engine.
5. Fixed Z3Initializer issue in case Context is created when close method is called.
6. Added ExecutionStateListener to listen every execution state that symbolic engine visits.
7. Added bfs traverser option.
8. Added external API to create UtBotSymbolicEngine and run traversing states.
9. Added an ability to configure Soot options.

How to test

Automated tests

UtBotJavaApiTest#testUnitTestBotLight is added.

Self-check list

• I've set the proper labels for my PR (at least, for category and component).
• PR title and description are clear and intelligible.
• 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.
• The documentation for the functionality I've been working on is up-to-date.