Basic devcontainer (#886)

.devcontainer/devcontainer.json

@@ -0,0 +1,15 @@
+// For format details, see https://aka.ms/devcontainer.json. For config options, see the
+// README at: https://github.com/devcontainers/templates/tree/main/src/dotnet
+{
+	"name": "C# (.NET)",
+	"image": "mcr.microsoft.com/devcontainers/dotnet:1-7.0-jammy",
+	"onCreateCommand": "./scripts/load_submodule.sh",
+	"postCreateCommand": "dotnet restore && dotnet build",
+	"customizations": {
+		"vscode": {
+			"extensions": [
+				"ms-dotnettools.csdevkit"
+			]
+		}
+	}
+}

scripts/load_submodule.sh

@@ -0,0 +1,12 @@
+#!/bin/bash
+
+# Check if the current directory is a git repository
+if [ ! -d ".git" ]; then
+    echo "Error: This script must be run from the root of a Git repository."
+    exit 1
+fi
+
+# Initialize and update git submodules
+git submodule update --init --recursive
+
+echo "Git submodules have been updated."