Shell for demoing cedana

Build

docker build -t shell . && docker run -it -p 8376:8376 shell

Todo

• build cedana
• pull checkpoints