Increases the output of manned mining stations on Asteroids so they're worthwhile again, to 5 times the base output. 1.07 nerfed them so they're less useful than the AutoExtractors. I expect this will be fixed in 1.08, so get rid of the mod later if it's p
