Use a docker-container as a Raspberry-pi cross-compilation appliance