src/Pure/System/command_line.scala
2013-05-14 ago support for more informative crashes;
2012-07-19 ago more general support for Isabelle/Scala command line tools;