no Output.information by default, e.g. "isabelle console", "isabelle build";

--- a/src/Pure/General/output.ML	Sat Jul 16 12:11:02 2016 +0200
+++ b/src/Pure/General/output.ML	Sat Jul 16 18:56:43 2016 +0200
@@ -124,7 +124,6 @@
   else
    (writeln_fn := (physical_writeln o implode);
     state_fn := (fn ss => ! writeln_fn ss);
-    information_fn := (fn ss => ! writeln_fn ss);
     tracing_fn := (fn ss => ! writeln_fn ss);
     warning_fn := (physical_writeln o prefix_lines "### " o implode);
     legacy_fn := (fn ss => ! warning_fn ss);