A simple IRC bot for high fives