Option to run non-interactive and fail if --install-types is dirty.

Feature
When running mypy non-interactivelly in CI, i want to assert that all types-XXX packages required are already pre-installed on the build-server (docker image). Because that way they can be pinned and reviewed while being installed, instead of it happening without supervision through mypy.
Today there is no reliable way to do so, --install-types can only prompt Y/N in interactive mode. In --non-interactive mode it will always assume yes.

Proposing a new flag --no-install-types, that when used together with --non-interactive will fail if same call with --install-types would have suggested any stub packages to be installed.

In scenario above, there can also be stubs that are not desired (one example is types-Sqlalchemy conflicting with sqlalchemy2-stubs). To allow such to be ignored and not always fail the --no-install-types check. There also need to be an option in mypy.ini for always-ignore-types.

Empieza por rastrear los puntos de entrada existentes --install-types y --non-interactive, y cómo se leen las opciones de mypy.ini. Define el comportamiento de --no-install-types, incluido el fallo cuando se instalarían paquetes y las exclusiones de always-ignore-types; se considerará terminado cuando CI pueda detectar los stubs necesarios que falten sin solicitar interacción, al tiempo que permita las excepciones configuradas.