Game version 0.95.174 released

Notable changes:

• [Skirmish] Proper naming of planets when generating random galaxy. Due to the random nature, some names may appear only once, some might appear a lot of times (e.g., Garthog 45).