feat: update to latest rocq -> update vscode ext

Author: srghma

.devcontainer/arm64/devcontainer.json

@@ -3,7 +3,7 @@
 	"image": "ghcr.io/logsem/iris-tutorial/docker-arm64",
 	"customizations": {
 		"vscode": {
-		  "extensions": ["maximedenes.vsrocq"]
+		  "extensions": ["rocq-prover.vsrocq"]
 		},
 		"settings": {
 			"terminal.integrated.profiles.linux": {
@@ -15,4 +15,4 @@
 			"terminal.integrated.defaultProfile.linux": "bash"
 		}
 	}
-}
+}

.devcontainer/x86-64/devcontainer.json

@@ -3,7 +3,7 @@
 	"image": "ghcr.io/logsem/iris-tutorial/docker-x86-64",
 	"customizations": {
 		"vscode": {
-		  "extensions": ["maximedenes.vsrocq"]
+		  "extensions": ["rocq-prover.vsrocq"]
 		},
 		"settings": {
 			"terminal.integrated.profiles.linux": {
@@ -15,4 +15,4 @@
 			"terminal.integrated.defaultProfile.linux": "bash"
 		}
 	}
-}
+}