console: TextIO now understands UTF8 in the data stream.

Some code points have been added to a translate() function to turn them into the right character in the VGA font.