fix devcontainer

Author: simongregersen

.devcontainer/arm64/devcontainer.json

@@ -1,6 +1,6 @@
 {
 	"name": "iris-tutorial arm64 container",
-	"image": "ghcr.io/logsem/iris-tutorial/debian-ocaml-5.5-arm64",
+	"image": "ghcr.io/logsem/iris-tutorial/docker-arm64",
 	"customizations": {
 		"vscode": {
 		  "extensions": ["rocq-prover.vsrocq"]

.devcontainer/x86-64/devcontainer.json

@@ -1,6 +1,6 @@
 {
 	"name": "iris-tutorial x86-64 container",
-	"image": "ghcr.io/logsem/iris-tutorial/debian-ocaml-5.5-x86-64",
+	"image": "ghcr.io/logsem/iris-tutorial/docker-x86-64",
 	"customizations": {
 		"vscode": {
 		  "extensions": ["rocq-prover.vsrocq"]

docker_image/Dockerfile

@@ -9,7 +9,6 @@ COPY --from=repo iris-tutorial.opam .
 RUN opam install . --deps-only -y && \
     opam install -y rocq-iris-unstable
 
-# TODO: uncomment when vsrocq-language-server will start supporting ocaml 5.5
-# RUN opam install -y -w vsrocq-language-server
+RUN opam install -y vsrocq-language-server
 
 RUN echo "eval \$(opam env)" >> ~/.bashrc