present auxiliary files with PIDE markup;
more robust treatment of non-text files (notably $POLYML_EXE);