feature-request: web interface does not handle ANSI color correctly

[mattvonrocketstein]

For instance IO.puts(IO.ANSI.blue()<>"blue!!"<>IO.ANSI.reset()

displays

[34myblue!![0m

but it would be nicer if this were converted to proper (blue) HTML.

[sivsushruth]

Thanks you @mattvonrocketstein . I will have a look at it