more robust shutdown while Isabelle_Process is starting up, e.g. quit after dialog Isabelle version for testing";