Escaped HTML in ConsoleWidget input

But bad news... The font for the console widget suffers from the same
problem as the colours (ie. it might not update before the first message
is written). Great.