Fixes: string octal lexing, html device charactr escaping, font fiddle

String lexer now handles octal.
Html device's character output now escape special characters, and ommit \r,\n,\^K, etc.
Some font substituting fiddle to suit html device.