Fix ci

[w4kfu]

Hello,

It seems the CI is broken (cf : https://ci.appveyor.com/project/cea-sec/miasm/builds/53737143), the traceback is the following :

Traceback (most recent call last):
  File "C:\projects\miasm\example\expression\expr_translate.py", line 24, in <module>
    target_exprs = {lang:Translator.to_language(lang).from_expr(expr)
                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "C:\Python312-x64\Lib\site-packages\miasm\ir\translators\translator.py", line 31, in to_language
    return translator(*args, **kwargs)
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "C:\Python312-x64\Lib\site-packages\miasm\ir\translators\z3_ir.py", line 126, in __init__
    import z3
  File "C:\Python312-x64\Lib\site-packages\z3\__init__.py", line 1, in <module>
    from .z3 import *
  File "C:\Python312-x64\Lib\site-packages\z3\z3.py", line 43, in <module>
    from . import z3core
  File "C:\Python312-x64\Lib\site-packages\z3\z3core.py", line 5, in <module>
    import pkg_resources
ModuleNotFoundError: No module named 'pkg_resources

The issue come from the package z3 which is enforced into version '4.8.7.0' and recently pkg_ressources has been removed from setuptools (cf https://setuptools.pypa.io/en/latest/history.html#v82-0-0).

Moving the z3 version to 4.16.0.0 seems to resolve the issue (at least on my computer).

Let me know I miss something.

[mrexodia]

Shouldn't it be possible to drop appveyor completely now that the gh actions workflows have been introduced?

[serpilliere]

Thank you for the fix @w4kfu !!
@mrexodia : the good option may not be to drop, but to port from appveyor to gh actions.
Anyway, as it seems to fix the gh, let's merge it