Uses some clever tricks to (1) put an invisible copy of the code in the
document (which doesn't get munged by the highlighter), (2) construct a
funky javascript URL that functions as a 'save as' button

I would still like to:

(1) Style it a bit better
(2) Set the filename to something sensible