Initial Docker deployment setup

docker/entrypoint.sh

@@ -0,0 +1,15 @@
+#!/bin/sh
+# Runtime launcher for the compiled programs.
+set -eu
+
+if [ "${1:-}" = "drivershub" ]; then
+    shift
+    exec /app/drivershub "$@"
+fi
+
+if [ "${1:-}" = "bannergen" ]; then
+    shift
+    exec /app/bannergen "$@"
+fi
+
+exec "$@"

docker/mariadb-entrypoint.sh

@@ -0,0 +1,8 @@
+#!/bin/sh
+# Prepare the bind-mounted external table directory before MariaDB starts.
+set -eu
+
+mkdir -p /var/lib/mysqlext
+chown mysql:mysql /var/lib/mysqlext
+
+exec /usr/local/bin/docker-entrypoint.sh "$@"

docker/mariadb-init.sql

@@ -0,0 +1,3 @@
+-- Required by the upstream schema's DATA DIRECTORY table definitions.
+GRANT FILE ON *.* TO 'drivershub'@'%';
+FLUSH PRIVILEGES;