Game server/party system: party leader symbol is now assigned and removed from the party leader. Fixes #136.