clarified;
tuned comments;
support for File_Format.Session, e.g. server process accessible via prover options;
support for user-defined Isabelle/Scala command-line tools; misc tuning and clarification;
tuned;
clarified signature;
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;