ServerRedirect v1.3.1

This release contains updated gamedata files after 2/2/23 CSGO update!!!

This update includes translation changes, don't forget to update them!

Features:

• Added translations for Russian, German, French, Spanish languages (Thanks to @Blueberryy, @HerzGegenFame, @vieuxgnome, @Autorojo accordingly);
• Added support for domain names instead of a plain ip addresses (port can now also be omitted, in this case default 27015 will be used);
• Added ip address alias support, that allows servers to communicate via different ip address then what is shown in the menu;
• Added option to control displayed length of the server name in the server list menu:
  • server_redirect_menu_servername_length;
• Added option to control how much server entries to display per page in the server list menu:
  • server_redirect_menu_pagination;
• Added map name display in the main server list menu;
• Added support for a A2S_INFO update (Thanks to @JoinedSenses for providing testing server) (Please, report any bugs that you might encounter with this change);

Bugfixes:

• Improved fix for Client N not in game errors, when client disconnects while server list menu is active;