Create aarch64 gnu docker images

[beta-ziliani]

One option is to use Arch linux for this.

In the release process, create a docker image to distribute using the latest binaries generated from CI.

Related #123

[straight-shoota]

"images" as in Docker images? I suppose this should be more generic about binary distribution packages like tarball, distro packages, docker images, right?

[beta-ziliani]

This was about just the docker images, as the first step to get the tarball and packages from there (I'm missing those tickets). But I'm closing it since we agreed to have the compiler be compilable from a 1.0 release, so it isn't relevant to have the latest version on CI.

[beta-ziliani]

Scrap that, that we don't need it for our CI doesn't mean we can't distribute images with the latest version. Updating the description.