support Node.js as well, reusing the engine from Electron/VSCodium;

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/Tools/node	Tue Mar 15 13:16:13 2022 +0100
@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+#
+# Author: Makarius
+#
+# DESCRIPTION: run the Node.js framework (with its own command-line arguments)
+
+export ELECTRON_RUN_AS_NODE=1
+exec "$ISABELLE_VSCODIUM_ELECTRON" "$@"