Move to Python 3.12–3.14

[fbeckers]

Project configuration

• setup.py -> pyproject.toml

Dependencies

• remove astunparse (usage replaced by ast)
• update jpype1 to 1.5.0 -> 1.7.0
• update mypy 0.900 -> 1.5.0
• update toposort 1.5 -> 1.10
• remove typed-ast (because of mypy)
• update z3-solver for arm 4.8.7.0 -> 4.16.0.0
• update pyzmq -> 27.1.0
• update pytest 7.0.0 -> 9.0.3

Code updates

• code to support newer version
• test cases to match the new mypy error messages
• deprecations

More updates

• readme
• workflows

---

This change is