Add concrete execution specification

[SBOne-Kenobi]

Description

Sometimes we need to change behavior of concrete executor by ignoring some exceptions. Especially fuzzing could create wrong models and it's ok.
The solution is add a specialisation class and provide it with invocation parameters to concrete executor.
Also added a special decorator UtConcreteExecutionForceException for exceptions that forces wrapped exceptions avoiding any handling.

Fixes #1117
Fixes #1590

Type of Change

Please delete options that are not relevant.

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)

How Has This Been Tested?

Manual Scenario

Described in issues above.

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