avoid censorship of options, e.g. relevant for Isabelle/MMT to provide its own value;

--- a/src/Pure/Tools/dump.scala	Tue Oct 01 19:54:42 2019 +0200
+++ b/src/Pure/Tools/dump.scala	Tue Oct 01 20:21:30 2019 +0200
@@ -126,7 +126,6 @@
           "ML_statistics=false" +
           "parallel_proofs=0" +
           "editor_tracing_messages=0" +
-          "editor_consolidate_delay=10" +
           "editor_presentation"
       (options1 /: aspects)({ case (opts, aspect) => (opts /: aspect.options)(_ + _) })
     }