CI: Put mypy into a separate workflow and add some useful arguments