robust LEO-II setup that doesn't rely on ".leoatprc"

--- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Jun 06 10:35:05 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Wed Jun 06 10:35:05 2012 +0200
@@ -337,7 +337,10 @@
    required_vars = [],
    arguments =
      fn _ => fn _ => fn _ => fn timeout => fn _ =>
-        "--proofoutput 1 --timeout " ^ string_of_int (to_secs 1 timeout),
+        "--foatp e --atp e=\"$E_HOME\"/eprover \
+        \--atp epclextract=\"$E_HOME\"/epclextract \
+        \--proofoutput 1 --timeout " ^
+        string_of_int (to_secs 1 timeout),
    proof_delims = tstp_proof_delims,
    known_failures =
      [(TimedOut, "CPU time limit exceeded, terminating"),