github.com/thanos-io/thanos@v0.32.5/.devcontainer (about) Dockerfile devcontainer.json welcome-message.txt