Fix the way of looking for native libraries

[CaelmBleidd]

Change paths to native Z3 libraries

Description

Changed paths leading to Z3 libraries. Depending on a platform, we should look either in lib/x64 library or in lib/arm. This is bug fix that should make its behaviour consistent with KSMT.

How to test

Automated tests

Run automatic tests on different platforms.

Manual tests

You can run any test of runIde task with test generation on any project. If it generates anything using a solver -- it works.

Self-check list

Please do not delete the list or its items.

• 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.

[Damtev]

LGTM