documentation for the Isabelle server;

proper options;

more options: client without implicit server startup;

console interaction with line-editor;