a simple PHP IRC bot