New analyzer: Ensure that mangled -redefinition names don't appear in error messages

For example:

class A:
    x: str
    def x(self) -> str: ...

class B:
    x: int
    def x(self) -> int: ...

class C(A, B): ...

fails with

main:3: error: Name 'x' already defined on line 2
main:7: error: Name 'x' already defined on line 6
main:9: error: Definition of "x-redefinition" in base class "A" is incompatible with definition in base class "B"
main:9: error: Definition of "x" in base class "A" is incompatible with definition in base class "B"

Reproduziere das Python-Beispiel aus dem Issue mit mypy und verfolge den Analyzer-Pfad, der die Diagnosen zur Inkompatibilität der Basisklasse formatiert. Erledigt ist die Aufgabe, wenn die Fehler den verstümmelten Namen "-redefinition" nicht mehr offenlegen, aber weiterhin die relevante Inkompatibilität melden.