Setting up Codespaces with Docker from scratch