Pin VsCoq version to 2.2.0 in `devcontainer.json` for compatibility with the language server in the container#7

itoooak wants to merge 1 commit intologsem:masterlogsem/iris-tutorial:masterfrom

itoooak:pin-vscoq-versionitoooak/iris-tutorial:pin-vscoq-versionCopy head branch name to clipboard