chore: Remove extra cmake extensions

.devcontainer/devcontainer.json

@@ -21,24 +21,12 @@
     "timonwong.shellcheck",
     "dtsvet.vscode-wasm",
     "13xforever.language-x86-64-assembly",
-    "ms-vscode.cpptools-extension-pack"
+    "ms-vscode.cpptools",
+    "ms-vscode.cpptools-themes",
+    "jeff-hykin.better-cpp-syntax"
   ],
-
   "workspaceMount": "source=${localWorkspaceFolder},target=/sledge,type=bind,consistency=cached",
   "workspaceFolder": "/sledge",
-
-  // Use 'forwardPorts' to make a list of ports inside the container available locally.
-  // "forwardPorts": [],
-
-  // Uncomment the next line to run commands after the container is created - for example installing curl.
   "postCreateCommand": "make -C /sledge install && make -B -C /sledge/runtime/tests clean all",
-
+  "containerUser": "dev",
-  // Uncomment when using a ptrace-based debugger like C++, Go, and Rust
-  // "runArgs": [ "--cap-add=SYS_PTRACE", "--security-opt", "seccomp=unconfined" ],
-
-  // Uncomment to use the Docker CLI from inside the container. See https://aka.ms/vscode-remote/samples/docker-from-docker.
-  // "mounts": [ "source=/var/run/docker.sock,target=/var/run/docker.sock,type=bind" ],
-
-  // Uncomment to connect as a non-root user if you've added one. See https://aka.ms/vscode-remote/containers/non-root.
-  "remoteUser": "root",
 }

.vscode/extensions.json

@@ -5,6 +5,8 @@
     "timonwong.shellcheck",
     "dtsvet.vscode-wasm",
     "13xforever.language-x86-64-assembly",
-    "ms-vscode.cpptools-extension-pack"
+    "ms-vscode.cpptools",
+    "ms-vscode.cpptools-themes",
+    "jeff-hykin.better-cpp-syntax"
   ]
 }