better separator for player list
Simplified getPlayerNamesByPermission, added similar World method
Better feedback messages (no build rights)