Basic terminal UI

[azmeuk]

With the increasing number of checkers, it could be interesting to use tools like textual to display loaders and results as they come. I suppose this would require async #29.