lib/Tools/electron

support Electron application framework;
clarified vscodium startup;

#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: run the Electron framework (with its own command-line arguments)

exec "$ISABELLE_VSCODIUM_HOME/electron" "$@"