have kill_all also kill MaSh server + be paranoid about reloading after clear_state, to allow for easier experimentation
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.