Improve Kontrol pretty printing

[JuanCoRo]

PR #642 adds pretty printing to some of Kontrol's outputs. There are still several things that we can improve to make Kontrol even prettier and to provide more info:

• [ ] kontrol build: Add a progress bar/indicator for how long it takes/what is remaining
• [ ] kontrol prove: Add a progress bar/indicator for how many proofs are running, how many have passed, and how many failed
• [ ] kontrol prove: Include a verbose option which shows a live kontrol list of sorts
• [ ] Add a live stopwatch indicating for how long a command has been running
• [ ] kontrol list: pretty print everything
• [ ] kontrol list: Make the appearing proofs clickable to jump to kontrol view-kcfg
• [ ] Make drop-down menus with clickable stuff
• [ ] kontrol show: add syntax highlighting
• [ ] FIX what appears to be a conflict between the base logger and the messages outputted by Rich. As an example, in this screenshot, the blue message should not be persistent:

[JuanCoRo]

Item 2 partly addressed by #728, we still need to have a status bar for multiple proofs