A Minecraft bukkit server extension and Python client for scripting bots