Support managed Python and remote Docker in CI; stop collector promptly

scripts/collect.sh

@@ -1,6 +1,7 @@
 #!/bin/sh
 # Only ordinary console commands: no /c, /sc, Lua, mods, or achievement changes.
 set -eu
+trap 'exit 0' TERM INT
 metrics_dir=${METRICS_DIR:-/metrics}
 mkdir -p "$metrics_dir"
 while :; do