Apalache integration on Windows doesn't work well

[bugarela]

We currently download apalache and spawn a bash script to run the server. On windows, we can't simply run a bash script.

I tried adding a .bat file to the apalache release (locally, as a test), but I'm having issues getting node to run that bat in a child process. I need to dig a bit further to make this work. If I manage to make this work, we'd also have to update Apalache to include the bat file on it's release artifact.

Right now, windows users have to run the Apalache server themselves (i.e. by using the jar), and then quint can connect to it just fine