Game version 0.95.123 released

Notable changes:

• Fixed case when mission objectives were not properly triggered when the computer audio notification was turned off [Issue #705].
• The planet management AI now won't produce Orbital Factory if there is none in the empire [Issue #705].
• Modified the save system to use XML+GZIP instead of plaintext XML. Existing saves will be automatically converted to the new format.
• Population loss on planets where the owner's race is different from the population race is now 3 times as fast.