Patch #20 complete.

# 3.12.
Fixed a bug preventing progress on the galaxy map.
There is now a proper 'game over' when your ship gets destroyed.
Fixed a bug in the collision handling and increased the damage taken from collisions with asteroids and 'smiley boxes'.
The module cost in the tooltip is now consistent for inferior/rare/superior modules.
When an ore container gets destroyed, the amount of ore stored in it is now dumped. You can pick the ore up afterwards if you have remaining capacity.
You can no longer get more ore than your ship can carry by selling modules in the shop.