Build arm64 binary for Linux

To simplify CI  elsewhere and for users on Linux arm64 machines, we should add an arm64 binary to PyPI. Otherwise, it has to be built from the source package, which requires the installation of build tools.