move LEO-II closer to the top, for testing

--- a/src/HOL/TPTP/atp_problem_import.ML	Fri Apr 27 15:24:37 2012 +0200
+++ b/src/HOL/TPTP/atp_problem_import.ML	Fri Apr 27 15:24:37 2012 +0200
@@ -152,12 +152,12 @@
                     (atp_tac ctxt overload_params timeout prover i)
   in
     slice [] 7 ATP_Systems.satallaxN
+    ORELSE slice [] 7 ATP_Systems.leo2N
     ORELSE slice [] 7 ATP_Systems.spassN
     ORELSE slice [] 7 z3N
     ORELSE slice [] 7 ATP_Systems.vampireN
     ORELSE slice [] 7 ATP_Systems.eN
     ORELSE slice [] 7 cvc3N
-    ORELSE slice [] 7 ATP_Systems.leo2N
   end
 
 fun auto_etc_tac ctxt timeout i =