ops: add deployment scripts and nginx/systemd configs

Scripts for installing and starting the app and nginx proxy.
Includes systemd user service units and nginx configs for
both user-mode 8443 and system-mode 443.

scripts/start-user-nginx-8443.sh

@@ -0,0 +1,19 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
+mkdir -p \
+  "${ROOT_DIR}/.nginx/logs" \
+  "${ROOT_DIR}/.nginx/client_body_temp" \
+  "${ROOT_DIR}/.nginx/proxy_temp" \
+  "${ROOT_DIR}/.nginx/fastcgi_temp" \
+  "${ROOT_DIR}/.nginx/uwsgi_temp" \
+  "${ROOT_DIR}/.nginx/scgi_temp"
+
+if [[ -f "${ROOT_DIR}/.nginx/nginx.pid" ]] && kill -0 "$(cat "${ROOT_DIR}/.nginx/nginx.pid")" 2>/dev/null; then
+  nginx -s reload -c "${ROOT_DIR}/deploy/nginx.user-8443.conf" -p "${ROOT_DIR}/.nginx"
+else
+  nginx -c "${ROOT_DIR}/deploy/nginx.user-8443.conf" -p "${ROOT_DIR}/.nginx"
+fi
+
+echo "User-mode Nginx is running at https://gahow-pc.ipads-lab.se.sjtu.edu.cn:8443/"