Game version 0.95.173 released

Notable changes:

• Enemy ships without weapons should flee if the rest of the fleet is destroyed. (Issue #846)
• Implemented random galaxy generator. You can override the number of planets in the galaxy and generate a seed. The number of planets may be overruled if you set less than the number of players times the initial planet count. You can select the initial planets for the players as usual, but please setup the random galaxy values beforehand. The main campaign's map can support up to 340 planets, but modded campaigns may have a larger map. Generating proper planet names has not been implemented yet (not easy to number adjacent planets properly), but you can rename any planets to your liking in game.