Added GET_ALL_PLAYERS functionality to list all the players on the server

(help by Gerdjan van Hagen and Matti Groot)