(ci) added .devContainer for GitHub Codespaces

The Dockerfile and devcontainer.json specify a development container that setups Ciao and the VSCode extension necessary to use Ciao from Github Codespaces.

Src-commit: b0bf04735f79c5b2d377835e3ce74a08be378a9a

Author: Marco Ciccale

.devcontainer/Dockerfile

@@ -0,0 +1,6 @@
+FROM mcr.microsoft.com/devcontainers/base:jammy
+
+USER vscode
+WORKDIR /home/vscode
+
+RUN curl https://ciao-lang.org/boot -sSfL | sh -s -- --prebuilt-bin local-install

.devcontainer/devcontainer.json

@@ -0,0 +1,13 @@
+{
+  "name": "Ciao Prolog dev container",
+
+  "build": {
+    "dockerfile": "Dockerfile"
+  },
+
+  "customizations": {
+    "vscode" : {
+      "extensions" : [ "ciao-lang.ciao-prolog-vsc" ]
+    }
+  }
+}