Game version 0.95.142 released

Notable changes:

• Fixed Pre-Warp trait not properly disabling hyperdrives. [Issue #764]
• Fixed traders not catcheable on levels 1 and 2 if Pre-Warp trait was enabled [Issue #736]
• Fixed equipment showing actual numbers > 0 even if the slot was empty. [Issue #764]
• Fixed NPE when finishing a fleet split [Issue #765]
• Fixed AI Managed planets overfill vehicles if the player changed the vehicle mix manually. [Issue #763]