Support text selection in the console

[Joao da Silva]

The console is another Window.js process, running as a subprocess with some extra messaging internally.

So it doesn't support the usual text editing capabilities that a <textarea> or a text would give: no mouse selection, no copy/paste, etc.

This makes reporting issues and copying errors much harder.

However, a solution for this may well involve building a complete text editing, text layout and widgets library.