Miner: Dig Deep: Small patch

Improved the responsiveness of the miner's movement. The miner now comes to a stop much faster, avoiding the feeling of sliding. Fixed a crash when the game changed focus in some scenarios.