Install mypy in linter image

11 jobs for !20 with lint-mypy in 9 minutes and 31 seconds (queued for 2 seconds)
merge request