Inform client about changes in lobby options
Merge pull request #6108 from havok13888/LobbyInfoNotification

Closes #6012
Implement new production hotkeys. Fixes #3915, #4142, #4181.
Remove obsolete key definitions.
Add queue hotkeys to RA. Fixes #6031.