In some Linux distribution, it is hard to install redox's toolchain.
I think it is kind if README tell us the way to setup with docker.