#40 Change terminator keystroke used in XML recording

[B.Modi]

Provide a way to specify the terminator keystroke used
in XML recording. Currently it defaults to Ctrl-D, and
can be changed with the API but not with the Tag
handler.

The tag could possibly be updated to something like:

<record encoding="UTF-8" file="saved.xml"
terminator="8"/>

Where "terminator" would be an optional attribute.