A gamebot for Zulip in Python