Improved handling of mirc formatting codes; we now recognise ^B ^O ^R ^U

Also, unrecognised control codes get displayed as octal escapes rather than
 being sent, raw, to the terminal (the latter allowed ANSI codes to do funky
 things, which was not good).