Consider merging command line flags and configuration file options descriptions

Description for command line flags and configuration file options are today split across 2 different documentations (here for CLI flags, and here for options).

Despite the options mostly behaving the same whether they are defined through the CLI or a configuration file, most of the descriptions differ (for instance, here for --python-version vs. here for python_version). Additionally to the differences, it also requires to maintain documentation across 2 different places, and may make it harder for people to refer to specific options of mypy.

I'm not sure how feasible this would be, as some options may only be defined in configuration files (especially for module-tied ones), but maybe the "common" options could be merged into a single documentation?

While I think it is auto-generated from the code, isort documentation is a good example of a centralized documentation for options. For each option, both the CLI flags and configuration file option are specified, and examples for each possible configuration type is provided.

Inizia confrontando la documentazione command_line.html e config_file.html collegata nell’issue, quindi traccia il modo in cui queste pagine vengono generate a partire dalle definizioni delle opzioni di mypy. Definisci quali opzioni condivise possono essere centralizzate mantenendo le opzioni esclusive della configurazione, e considera il lavoro necessario affinché le descrizioni CLI e di configurazione siano coerenti in un’unica struttura documentale facilmente individuabile.