Support ANSI escape sequence in trace explorer web view

[lemmy]

TLC supports ANSI escape sequences to, e.g., colorize counterexmples:

The extension's webview should properly render the ANSI escape sequences:

https://github.com/rburns/ansi-to-html appears to come with the relevant functionality.

@afonsonf Please advice if https://github.com/rburns/ansi-to-html would be a sensible choice to support ANSI?

[afonsonf]

The library you used (https://github.com/sagemathinc/ansi-to-react) seems to be a good option yes

[lemmy]