zulip-bot.py: remove unused import