suppress timing message in full PIDE protocol -- this is for batch build;

--- a/src/Pure/Isar/toplevel.ML	Tue Feb 19 13:57:13 2013 +0100
+++ b/src/Pure/Isar/toplevel.ML	Tue Feb 19 14:47:57 2013 +0100
@@ -624,7 +624,7 @@
 local
 
 fun timing_message tr t =
-  if Timing.is_relevant t then
+  if Timing.is_relevant t andalso not (Position.is_reported (pos_of tr)) then
     Output.protocol_message
       (Markup.command_timing :: approximative_id tr @ Markup.timing_properties t) ""
     handle Fail _ => ()