Right now we see e.g. `[0;32m[INFO]	` in the web UI, but it would be really quite awesome to have the option to either:
  * remove all escape code sequences (delete them)
  * render all non-printable characters (e.g. escape) with some unicode symbolic (either � or with symbols like ␛ or ␡, etc).
  * render some subset of the escape sequences to appropriate html (mainly color/style codes/etc.)

I think there are actually some javascript libs that know how to do the last one, and probably some to do the first one.