Lint with mypy on CI#219

ben-grande wants to merge 2 commits into

QubesOS:mainQubesOS/qubes-core-admin-linux:mainfrom

ben-grande:mypyben-grande/qubes-core-admin-linux:mypyCopy head branch name to clipboard