Refactorings for `build` and `check`

Sergej Kostjucenko requested to merge cmichi-cmd-to-trait-impl into master

Created by: cmichi

I had it in the back of my head for a while now to have main.rs be just the dispatcher for build and check and have the logic reside in the appropriate modules. This was something that came up in a review a while ago.

There are some more minor refactorings in here, like consistent naming and moving a function to utilities.

Also a small fix is in here: for check the output of the steps in the progress ([{}/{}]) was one off.

Merge request reports