Alien Arena 7.71.7

Release notes for 7.71.7:

• Automatic installation of map packs before loading a map (by default enabled)
• Added Discord button in the main menu to easily join the Discord server
• Fixed a map difference error bug after reinstalling a map
• Added option to override the sky from the fog script (only relevant to mappers)
• Removed the sponsor banner
• Increased default time that messages appear in the screen to 6 seconds and can be changed and remembered now

We also released quite a bunch of new maps. See details on https://www.alienarena.org.