properly quit isabelle-process