Server devcommands

v1.97

• Adds automatic clean up for old unused Infinity Hammer binds.

v1.96

• Adds a workaround for the game swapping Mouse4 and Mouse5 keys.
• Fixes fly down not working if keys overlap with fly up keys.

v1.95

• Adds a new command message to broadcast a message to specific players.
• Overhauls the bind system to support more features (and simplify implementation).
• Removes the setting "Mouse wheel bind key" as obsolete.
• Removes the custom resetskill command as obsolete.

v1.94

• Adds a new setting "Server chat name" to change the name of the server chat.

v1.93

• Changes the setting "Server client" to "Server chat".
• Changes the setting "Server chat" to disable server chat when not enabled (previously only printed a warning).
• Fixes private player feature affecting the server chat.
• Improves compatiblity with Discord Control mod.