Added the possibility to change the list of online players in the server_ping event.

This adds the possibility to change the list of online players in the server_ping event (and also fixes the feature requests 2669 and 2922).