Changes

Summary

1. merged
2. enable share_common_data for "isabelle dump" and its derivatives (e.g. "isabelle mmt_import"): this has the potential to reduce ML heap size considerably, after initial command definitions;
3. support for share_common_data after define_command and before actual update: this affects string particles of command tokens;
4. more scalable -- less ML heap requirements;
5. tuned whitespace;
6. Integrate locale activation fallback diagnostics with 'trace_locales'.
7. entry point for analysis without integration theory
8. removed Brouwer_Fixpoint from imports of Derivative