Python IRC bot formerly called Willie.