Isabelle/VSCode: update to recent VSCodium 1.104

[Makarius]

*** Isabelle/VSCode Prover IDE ***

* Update to recent VSCode 1.104 / VSCodium 1.104.06131, Electron 37.3.1,
Chromium 138.0.7204.235, and Node.js 22.18.0. Note that some Linux
systems (e.g. Ubuntu 24.04) require special file permissions to run
"isabelle vscode" or "isabelle electron" like this:

     cd .../vscodium-1.104.06131/x86_64-linux
     sudo chown root:root chrome-sandbox
     sudo chmod 4755 chrome-sandbox

This refers to Isabelle/de5f468de460.


That is the result of struggling for approx. 2 weeks with the convoluted build 
process for VSCode (or rather VSCodium). Until vscodium-1.70.1 from Aug-2022 
it was possible to build all platforms on Linux, even the native Windows 
version. Now it is necessary to use a native platform with native build tools: 
this is mildly annoying for macOS, and very challenging for Windows. It 
requires full Visual Studio C++ with strange add-on libraries, a Python 
installation for Windows, and a carefully crafted Msys2 environment.

Thus even the dreaded "node-gyp rebuild node-pty" works eventually: resulting 
in Unix-style Terminal experience in VSCode, on all platforms.

I could tell more stories from the depths of the VSCode + Electron + Node.js 
environment. To continue this much further we shall require substantial 
resources eventually.

For now, I will merely brush up Isabelle/VSCode a little bit for the coming 
release, integrating the last 2-3 student projects properly.


	Makarius