add devcontainer for GitHub Codespaces

Author: BattiestStone4

.devcontainer/devcontainer.json

@@ -0,0 +1,12 @@
+{
+  "name": "rCore Tutorial",
+  "image": "docker.cnb.cool/learningos/rcore-single",
+  "remoteUser": "root",
+  "customizations": {
+    "vscode": {
+      "extensions": [
+        "rust-lang.rust-analyzer"
+      ]
+    }
+  }
+}