Our custom patched version of python-zephyr only worked on Python 2. Now we don’t need python-zephyr at all. Signed-off-by: Anders Kaseorg <anders@zulip.com>