add docker images

docker-images/build.sh

@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+
+p=$(dirname "$0")
+
+for dockerfile in "$p"/*.Dockerfile; do
+    imgname=$(basename "$dockerfile" .Dockerfile)
+    echo "Building $dockerfile"
+
+    docker build "$p" -t "$imgname:latest" -f "$dockerfile"
+done

docker-images/debian12.Dockerfile

@@ -0,0 +1,3 @@
+FROM debian:12
+
+RUN apt-get update && apt-get install -y build-essential clang git curl