Build for Linux/arm64

[aliceisjustplaying]

Tested these builds on the following flavors:

• Raspberry Pi OS (Debian Bookworm) (64-bit)
• Asahi Linux (Fedora Remix)
• Ubuntu 22.04
• Fedora 40

I set up some self-hosted runners on a Hetzner VPS I have. I'll need additional permissions (pretty sure needs admin) to add them to this repository prior to merging. I can host them for a while, but we also have other options, I've emailed you about it.

There will be Github-hosted arm64 runners... eventually.

Fixes #1389, #2188.

[nesbox]

I would not like to have dependencies on third-party services that can stop working at any time, plus administration difficulties.
I think we'll wait until arm64 runners appear on GitHub.
Sorry.

[aliceisjustplaying]

@nesbox i'm happy to host them in my fork, would you be okay if I put a link in the readme to it ("unofficial linux/arm64 builds", say), so people can find it? Can also help with one-time builds for the actual releases. More and more people use the 64-bit version of Raspberry Pi OS and also other arm64 Linux flavors elsewhere, this would help reach. Especially since these can be popular in education.

[nesbox]

would you be okay if I put a link in the readme to it ("unofficial linux/arm64 builds", say)

@aliceisjustplaying Yes, I think it's a good idea.
Thank you.

[nesbox]

@aliceisjustplaying I'm closing this PR, we will add "unofficial linux/arm64 builds" section to readme later.
Thanks.