Summary
- merged
- isabelle_process executable no longer supports writable heap images;
- more careful cleanup;
- obsolete;
- tuned;
- redundant -- already part of Session.finish;
- proper exit as in Scala version (in contrast to a45ba78abcc1);
- save heap more directly;
- clarified modules;
- clarified ML heap operations;