Refresh queue regularly

static/queue/main.ts

@@ -0,0 +1,16 @@
+const COUNT = document.getElementById("count")!;
+const QUEUE = document.getElementById("queue")!;
+const REFRESH_SECONDS = 10;
+
+function update() {
+    fetch("table")
+        .then(response => response.text())
+        .then(text => {
+            QUEUE.innerHTML = text;
+            let count = QUEUE.querySelectorAll("tbody tr").length;
+            COUNT.textContent = String(count);
+            document.title = document.title.replace(/^queue \(\d+\)/, `queue (${count})`);
+        });
+}
+
+setInterval(update, REFRESH_SECONDS * 1000);