Gets number of players from a minecraft server