update ROOT files as well: treated like .thy in Isabelle/jEdit;
tuned;
more specific tool "isabelle update_comments", for uniformity with formal comments in embedded languages;
tuned signature;
prefer internal tool;
moved getopts to Scala;
symbolic syntax "\<comment> text";
added isabelle update_cartouches option -t;
added update_cartouches tool;