documentation for the Isabelle server;
proper options;
more options: client without implicit server startup;
console interaction with line-editor;