Make network servers configurable

[SadPencil]

Fixes #479 and #489

This PR removes all servers but irc.gamesurge.net --- the rest domains are (almost) duplicated. See #489 for more details.

This PR defines a new configuration file NetworkDefinitions.ini. This file is optional, so if it is missing everything goes well as if this PR were not merged -- except removing all servers but irc.gamesurge.net

---

The following urls are configurable:

• http://cncnet.org/master-list
• http://api.cncnet.org/status
• http://mapdb.cncnet.org
• http://mapdb.cncnet.org/upload

Also, setting a url to empty means do not fetch these resources online. This is meaningful if either:

• someone publishes a mod only focusing on solo mission
• a user's Internet connection is partially unstable

Add an option DisableDiscordIntegration to enable Chinese players disabling discord integration even before the first client launch. (DiscordIntegration in UserINISettings defaults to true!)

Allow specifying IRC servers in [IRCServers] section.

---

Example NetworkDefinitions.ini file:

[Settings]
CnCNetTunnelListURL=http://cncnet.org/master-list
CnCNetPlayerCountURL=http://api.cncnet.org/status
CnCNetMapDBDownloadURL=http://mapdb.cncnet.org
CnCNetMapDBUploadURL=http://mapdb.cncnet.org/upload
DisableDiscordIntegration=False

[IRCServers]
1=irc.gamesurge.net|GameSurge|6667,6660,6666,6668,6669
2=Krypt.CA.US.GameSurge.net|GameSurge Santa Ana, CA|6667,6660,6666,6668,6669

[github-actions[bot]]

Nightly build for this pull request:

• artifacts-YR.zip
• artifacts-TS.zip
• artifacts-Ares.zip This comment is automatic and is meant to allow guests to get latest automatic builds without registering. It is updated on every successful build.