Rename mypy.ini

[ddfisher]

Otherwise, strict Optional errors are suppressed whenever you run mypy from the mypy directory, regardless of what you're running it on.

[refi64]

As an unrelated side note, maybe finding mypy.ini should be based on the directory of the target module and then walking up the directory tree then?

[gvanrossum]

@kirbyfan64 I'd really rather not go there. Next you know it somebody requests merging mypy.ini files found at various levels.