Added the possibility to change the list of online players in the server_ping event.
Fixed doc.
Merge pull request #232 from King-Fisher/server_ping

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