[Bug-apl] )DUMP-HTML command

[Juergen Sauermann]

Hi,

I have done some tests with the new HTML output format of the )DUMP command.
Unfortunately a few things like cut-and-paste did not work as expected because some
characters (like <) need to be HTML-escaped which makes the files incompatible.

For that reason I have reverted the )DUMP command to produce non-HTML code as before and
instead introduced a new command )DUMP-HTML that produces HTML-tagged APL code that
can be displayed on or cut-and-pasted from web pages.

The )LOAD command understands both output formats. That means that you can cut-and-paste a workspace
from a web page (which would remove the HTML tagging, so the file name should be .apl) but also wget it
(which keeps the HTML tagging, so the file extension should be .html). The HTML-tagging understood by the )LOAD
command is somewhat limited (basically to what )DUMP-HTML produces).

SVN 637.

/// Jürgen