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.

Beginne damit, die Befehlszeilenverarbeitung für die vorhandene Option --pretty und die Dokumentationsbeispiele zu finden, die die Fehlerausgabe von mypy zeigen. Mache --pretty zum Standard, wobei das bestehende Verhalten von --no-pretty erhalten bleibt, aktualisiere anschließend die betroffenen Beispiele und überprüfe, dass ihre Ausgabe dem neuen Standard entspricht.