A simple docker file for zk_shell (https://github.com/rgs1/zk_shell)