Enable --pretty by default

Feature

Enable --pretty by default. --no-pretty can still be used to get more concise error messages (it already works, so no need to implement it).

--pretty causes mypy to show the line with the error, and mypy will highlight the location on the line where the error was reported:

foo.py:13: error: List item 0 has incompatible type "str"; expected "int"  [list-item]
    aa = ["x"]
          ^~~

Also update documentation, including relevant command-line examples which show the error output from mypy.

Pitch

The additional context makes it easier to see what is wrong. For example, there may be multiple possible expressions which can generate the error, and the highlighting makes this obvious.

Inizia individuando la gestione della riga di comando per l'opzione --pretty esistente e gli esempi nella documentazione che mostrano l'output degli errori di mypy. Rendi --pretty l'impostazione predefinita mantenendo il comportamento esistente di --no-pretty, quindi aggiorna gli esempi interessati e verifica che il loro output corrisponda alla nuova impostazione predefinita.