0.258.16 - Triple Diamonds

This is a bugfix release. Bugs fixed and minor changes:

• Fixed a bug that caused the game to crash in Upgrade and Tuning menu on Enceladus.
• Improved precision of collision detection, which should prevent small object from phasing through hulls.
• Improved performance of asteroid fracture.
• Cargo display on Eagle Prospector is now easier to read.
• Improved performance of ship dealer menu.
• Eagle Prospector computer boot animation now shows again.
• Fixed various typos.
• When your HUD size was increased, dive summary screen was pixelated.
• Improved Enceladus performance after return with a large haul.