Semantic errors fix on python3/python3.11

[Bl4ck-C4t]

When using the 'semantic' feature with python3 and 3.11 there are several library issues that I had on Linux.

 File "/usr/local/lib/python3.11/dist-packages/ropper-1.13.8-py3.11.egg/ropper/semantic.py", line 67, in analyse
    irsb = pyvex.IRSB(bytes(gadget.bytes), gadget.address+thumb, gadget.arch.info, bytes_offset=thumb, num_bytes=len(gadget.bytes), opt_level=0)
           ^^^^^
NameError: name 'pyvex' is not defined

this one shows up even when you have installed pyvex. I solved it by moving the import pyvex out of the try except block in ropper/semantic.py

    solver = z3.Solver()
             ^^^^^^^^^
AttributeError: module 'z3' has no attribute 'Solver'

this showed even after install z3py as the README says and running python3 -m pip install z3
To solve it you need the z3-solver package: python3 -m pip install z3-solver