inform players about nickname changes in the lobby
Merge pull request #6369 from Mailaender/nickname-change-message

Added a server message about nickname changes