An IRC bot for #raspberrypi