Many changes to XMLterm; updated for M12 Mozilla release, autodetection of markup, document display using IFRAMEs, Javascript command line