Support `mypy: ignore` inline comments to suppress mypy errors

Feature

Mypy should allow using inline mypy: ignore comments, treating them exactly the same as the equivalent type: ignore comment.

Pitch

Currently, mypy supports type: ignore comments for suppressing errors only on a given line. These are an essential tool for users hitting a bug in mypy to work around the bug.

However, type: ignore comments affect other type checkers as well. When a bug in mypy is causing it to flag a line that other type checkers are not flagging, the user can't add a type: ignore to that line without causing their other type checkers to complain about an unused ignore.

If users could add a mypy: ignore comment instead, this would not affect other type checkers, and would make it self-evident that the line is only being flagged by mypy, and not other type checkers in use.

Furthermore, since other type checkers now support similar comments just for them (e.g. Pyright now supports pyright: ignore comments), if this feature were implemented for mypy, users using multiple type checkers would have a clearer way of indicating what's going on on a given line:

1. type: ignore: All type checkers agree there's an error here
2. mypy: ignore: Only mypy thinks this is an error (false positive in mypy or false negative in others)
3. pyright: ignore: Only pyright thinks this is an error (false positive in pyright or false negative in others)
   etc.

In summary, this feature would make it easier for users to use mypy with other type checkers on the same codebase, to discover new type checker bugs when they disagree (I've already found and reported several this way myself), and could ultimately lead to type checkers becoming less buggy more quickly and agreeing with one another more often.

Comienza localizando cómo mypy gestiona los comentarios inline type: ignore y las pruebas que cubren su comportamiento. Añade un soporte equivalente para mypy: ignore, asegurándote de que suprima únicamente los errores de mypy, y verifica después que el comportamiento existente de type: ignore no cambie.