src/Pure/Tools/build_console.scala
2014-07-20 ago provide explicit options file -- avoid multiple Scala/JVM invocation;
2014-07-20 ago check and build Isabelle session for console tool -- avoid multiple Scala/JVM invocation;