Challenges copying from console

[neilccbrown]

It's useful to copy things out of the console, especially errors. Different browsers seem to do different things -- this is on Windows after getting an error with execution halted:

• On Chrome, you can select text, right-click does not bring up a menu, but Ctrl-C will copy the text
• On Firefox, you can select text, right-click brings up a menu but cut copy paste are all disabled, and Ctrl-C does not copy the text

I suspect the native menu is a lost cause (because the text area is disabled?), so I suspect the best thing is to show our own menu (with just "Copy"?) and ideally also support Ctrl-C in Firefox.