Docker file for raspberry Pi on Arch linux