Add basic .devcontainer setup

Author: Blaisorblade

.devcontainer/devcontainer.json

@@ -0,0 +1,27 @@
+// For format details, see https://aka.ms/devcontainer.json. For config options, see the
+// README at: https://github.com/devcontainers/templates/tree/main/src/alpine
+{
+  "name": "BlueRock-release",
+  "image":
+    "ghcr.io/skylabsai/workspace:fm-default"
+  // "mounts": [
+  //   {
+  //     "source": "${env:DUNE_CACHE_DOCKER}",
+  //     "target": "/home/coq/.cache/dune",
+  //     "type": "bind"
+  //   }
+  // ],
+  "runArgs": [
+    "--platform",
+    "linux/amd64"
+  ],
+  "customizations": {
+    "vscode": {
+      "extensions": [
+        "[email protected]",
+        "[email protected]",
+        "mr-konn.generic-input-method"
+      ]
+    }
+  }
+}