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.

Inizia tracciando gli entry point esistenti --install-types e --non-interactive e il modo in cui vengono lette le opzioni di mypy.ini. Definisci il comportamento di --no-install-types, incluso il fallimento quando verrebbero installati dei pacchetti e le esclusioni da always-ignore-types; il lavoro è completato quando CI può rilevare gli stub obbligatori mancanti senza richiedere conferma, consentendo al contempo le eccezioni configurate.