Add --install-types to the mypy workflow

[lamkina]

Description of feature

New version(s) of mypy support the --install-types argument, which will install detected missing library stub packages using pip. This should be added to the mypy workflow.