Pausable digging and filling up pits

[Sami]

We're wrapping up version 3.62.
A trusty small patch with about half a dozen additions and dozen of fixes.
It's just around the corner.
Of the latest additions digging and filling up pits are now made pausable, so you can stop these shoveling processes at will and continue later on by [a]pplying your shovel again.

Now it only takes some building, packaging and testing and hopefully the next week will be the release week.

[StefanPravda]

Good luck dear mr sir.