tuned priority (like other query operations, e.g. "find_theorems");

--- a/src/Pure/PIDE/query_operation.ML	Mon Sep 21 16:41:20 2015 +0200
+++ b/src/Pure/PIDE/query_operation.ML	Mon Sep 21 16:55:37 2015 +0200
@@ -39,7 +39,7 @@
 (* print_state *)
 
 val _ =
-  register {name = "print_state", pri = Task_Queue.urgent_pri + 2}
+  register {name = "print_state", pri = Task_Queue.urgent_pri}
     (fn {state = st, output_result, ...} =>
       if Toplevel.is_proof st
       then output_result (Markup.markup Markup.state (Toplevel.string_of_state st))