Add monitoring helper for mtdi and galaxy migrate

Add a small monitoring helper script for logging CPU and memory usage
for mtdi-daemon and galaxy-migrate.

Also update the cdssync workspace instructions to document how to use
the monitoring helper.

cdssync/monitor_mtdi_galaxy.sh

@@ -0,0 +1,26 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+INTERVAL_SECONDS=${1:-10}
+LOG_FILE=${2:-/root/monitor_mtdi_galaxy.log}
+
+if ! [[ "$INTERVAL_SECONDS" =~ ^[0-9]+$ ]] || (( INTERVAL_SECONDS <= 0 )); then
+  echo "Usage: $0 [INTERVAL_SECONDS] [LOG_FILE]" >&2
+  exit 1
+fi
+
+echo "# monitor start $(date '+%Y-%m-%d %H:%M:%S') interval=${INTERVAL_SECONDS}s" >>"$LOG_FILE"
+
+while true; do
+  {
+    echo "=== $(date '+%Y-%m-%d %H:%M:%S') ==="
+    ps -eo pid,ppid,comm,args,%cpu,%mem,rss,vsz --sort=-%cpu | \
+      awk '/mtdi-daemon|galaxy-migrate/ && $0 !~ /awk/ {
+        printf "pid=%s ppid=%s comm=%s cpu=%s mem=%s rss_kb=%s vsz_kb=%s cmd=%s\n",
+          $1, $2, $3, $5, $6, $7, $8, substr($0, index($0, $4))
+      }'
+    echo
+  } >>"$LOG_FILE"
+  sleep "$INTERVAL_SECONDS"
+done