Mining update bugs

[KikiMofo]

Mining bots are useless now but they didn't use to be when I played miner alot. I liked leaving them on while I went out and seeing that they dug out most of the asteroids around the mining base. Don't take them out please. Just fix them so they can dig again. Also make them alittle faster since the rounds don't take as long anymore.