Patch #23 complete.

# 7.12.
Added official support for MacOS.
Added more asteroid types and updated the textures for ice and arid asteroids.
The different asteroid types now have different properties. This influences theit size, density, hitpoints and the amount of ore provided by destroying them.
Slightly reduced the resonance cannon's range.
There is now a small chance to encounter friendly ships in the exploration mode.