Called on the server when a client removes a player.
The default implementation of this function destroys the corresponding player object.