IRC bot for #pr0k