Workarounds for docker build errors on ARM

Docker_build_workarounds_for_ARM.md

To those having problems building and running docker containers on ARM devices: Here are two workarounds for getting containers built at least.

First, the ugly one. Run the build in a loop until it is successful:

while [ 1 ]; do sudo docker build .; if [ $? -ne 1 ]; then break; fi; done

The other one is a fantastic trick. Use qemu to build the ARM images on your x86 system! See this post for the howto.