Runs the Isabelle server and returns an IsabelleServer instance containing port and password.
If a server is already running with the given name, the function returns the port and password of the instance.
If no server is running with the given name, the function starts a new server.
The server not shut down, even if this terminates.
To stop it, you need to call IsabelleServer::exit or exit.