Enable ANSI escape codes in console

[tomwhite]

Description

Currently, ANSI escape codes are not supported in the console:

Welcome to the Pyodide terminal emulator 🐍
Python 3.9.5 (default, Feb 22 2022 14:12:02) on WebAssembly VM
Type "help", "copyright", "credits" or "license" for more information.
>>> print(u"\u001b[31mHello World\u001b[0m")
�[31mHello World�[0m

This is easily fixed by adding an extra javascript file that jQuery Terminal needs to render the codes.

With this change Hello World is rendered in red.

The rich library also works

>>> import micropip
>>> await micropip.install('rich')
>>> from rich import print
>>> print("Hello, [bold magenta]World[/bold magenta]!", ":vampire:")
Hello, World! 🧛

(World is actually rendered in magenta.)

Checklists

• Add a CHANGELOG entry
• Add / update tests

[rth]

Thanks a lot @tomwhite ! We clearly needed better color support in the REPL.

Would you mind also adding a changelog entry to https://github.com/pyodide/pyodide/blob/main/docs/project/changelog.md?

[rth]

Also the test_console_html test needs updating.