github.com/tonistiigi/docker@v0.10.1-0.20240229224939-974013b0dc6a/.devcontainer (about) devcontainer.json