Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

1. prefer atomic edits -- potentially more robust;
2. clarified signature -- potentially more robust;
3. just one dump_checkpoint Main -- potentially more robust;
4. more robust: avoid update/interrupt of long-running print_consolidation;