feeder: treat header as escaped utf8 to allow initial ML text to refer to non-ASCII file/directory names (e.g. "Documents/" on Chinese Ubuntu);
Author: Lucas Dixon, University of Edinburgh
Support files for IsaPlanner (see http://isaplanner.sourceforge.net).