Dockerfile and scripts to build Arch Linux ARM for Raspberry Pi on x86_64 host