Merge branch 'ci-mypy-tools' into 'master'

ci/mypy: run checks separately for tools

See merge request !151
10 jobs for master
in 2 minutes and 2 seconds and was queued for 1 second