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"

Reproduce el ejemplo de Python del issue con mypy y sigue la ruta del analizador que formatea los diagnósticos de incompatibilidad de la clase base. Se considera terminado cuando los errores ya no exponen el nombre manipulado "-redefinition", pero siguen informando de la incompatibilidad relevante.