ported RawOutputConsole to Scala
old session event support (for Java-based listener) no longer needed
Merge branch 'raw-output' into isabelle2013