script-publish.py: Add my terminal-escape-to-HTML conversion script

script-publish.py: Add my terminal-escape-to-HTML conversion script

So students can follow along (and easily archive) the instructor's
live terminal session.  I convert all the escape sequences that turned
up during some simple messing around (including opening an Emacs
window), but there are surely some escape sequences that I don't catch
yet.  Also, the HTML output doesn't understand anything about windows
or cursors, so anything inside a curses application (e.g. Emacs) will
probably come out horribly mangled.  Still, things should recover
quickly once you get back to the command line.

If you do want to record curses sessions, you'll probably want to
record scripts with timing information and play them back in an actual
terminal emulator ;).