Use Rich in the command-line interface

[schneiderfelipe]

Rich is a "Python library for rich text and beautiful formatting in the terminal." In particular, it can also render pretty tables, which will 1. make overreact look awesome, and 2. simplify a lot the current codebase regarding the interface.

[schneiderfelipe]

There is a use case that Rich does not cover, namely the insertion of sub- and superscript Unicode strings. Luckily there is unicodeit, which seems to work well with Rich (see Textualize/rich#440).

[schneiderfelipe]

svenkreiss/unicodeit#37 probably limits some of what I want to do, but there is a workaround: use unicodeit.net and copy its output. No need to have extra dependency.

[schneiderfelipe]

Closed by #47.