Adds the Empty Miner Deconstruction toolbox shortcut which allows you to mark empty miners for deconstruction
Providing the player with new tools or adjusting the game interface, without fundamentally changing gameplay.
