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.