Patch 0.2c

This patch fixes a bug which could prevent you from launching a rocket if some cases. It also makes it possible to use several small Miners on a single large ore deposit, but still only one Advanced Miner per deposit.

Thanks for your feedback!