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"

Tái hiện ví dụ Python từ issue bằng mypy và lần theo đường đi của analyzer định dạng các chẩn đoán về tính không tương thích của lớp cơ sở. Công việc được xem là hoàn tất khi các lỗi không còn hiển thị tên bị biến đổi "-redefinition", nhưng vẫn báo cáo tính không tương thích liên quan.