Display textarea on double-click

Show the original code in a <textarea> element which comes up on top of
the pre when user double-clicks on it. This can make copying of the
code easier.