Add arm64 for linux python wheels to nightly

[smoy]

No description provided.

[NikolajBjorner]

ok, we can try if this works. Likely will fail to run unit tests.

[NikolajBjorner]

Can you try it out? https://github.com/Z3Prover/z3/releases/download/Nightly/z3_solver-4.13.0.0-py2.py3-none-manylinux2014_arm64.whl

[smoy]

Can you try it out? https://github.com/Z3Prover/z3/releases/download/Nightly/z3_solver-4.13.0.0-py2.py3-none-manylinux2014_arm64.whl

(venv) root@126be077ecfc:/# pip install https://github.com/Z3Prover/z3/releases/download/Nightly/z3_solver-4.13.0.0-py2.py3-none-manylinux2014_arm64.whl
ERROR: z3_solver-4.13.0.0-py2.py3-none-manylinux2014_arm64.whl is not a supported wheel on this platform.

I debug a little bit, i think we have to account for aarch64 as well as arm64.

Linux 126be077ecfc 6.6.16-linuxkit #1 SMP Fri Feb 16 11:54:02 UTC 2024 aarch64 GNU/Linux
(venv) root@126be077ecfc:/# python3 --version
Python 3.11.2
(venv) root@126be077ecfc:/# python3
Python 3.11.2 (main, Mar 13 2023, 12:18:29) [GCC 12.2.0] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> from distutils.util import get_platform
>>> get_platform()
'linux-aarch64'