added charset (from isabelle_process.scala); added fifo_reader -- also works on Cygwin;
added charset (from isabelle_process.scala);
added fifo_reader -- also works on Cygwin;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle