mirc bots for the thunderdome server