Make type checking mypy more straightforward for new contributors

There are a couple pitfalls relating to type checking mypy itself that don't seem to be documented anywhere:

1. Specifying files: Running mypy . and mypy mypy mypyc both result in duplicate module errors that prevent further type checking. The correct way to run mypy is mypy -p mypy -p mypyc, which doesn't appear to be documented anywhere (I only found this by looking at the tox.ini config file).
2. Specifying the config file: Failing to specify mypy_self_check.ini as the config file results in an error in mypy/bogus_type.py and means that people aren't using mypy's stricter type checking options.

I think the solution to 2 would be to rename mypy_self_check.ini to mypy.ini, because self checking mypy is significantly more common than compiling mypy with mypyc, so making mypy_self_check.ini the default config file seems reasonable.

For 1, we should at the very least document the command to run mypy in CONTRIBUTING.md. I think the ideal solution would involve changing the configuration file so that either mypy . or mypy mypy mypyc just works correctly, the latter of which seems to be possible from my experiments by turning on namespace_packages and excluding mypyc/test-data.

Comienza con CONTRIBUTING.md y tox.ini para comparar los comandos de mypy documentados y configurados. Inspecciona mypy_self_check.ini y mypy/bogus_type.py; después, verifica si los cambios propuestos en los nombres de configuración o en los namespace packages evitan los errores de módulos duplicados y mantienen una comprobación automática estricta. Se considera completado cuando el flujo de trabajo para contribuyentes documenta un comando y una configuración fiables.