The absence of __init__.py was preventing mypy from following any of the zerver.openapi imports. These errors were being silenced by ignore_missing_imports. Signed-off-by: Anders Kaseorg <anders@zulip.com>