provide bash_process server for Isabelle/ML and other external programs;
clarified signature for Bash.params;