Reduce mining message spam.

Created by: Allspice

I remember hearing about all those messages lagging someone out (especially after Goonchat) so here you go. Other benefits: Gibtonite is a bit easier to notice, radio is no longer drowned out for miners.