Double-tap to mine, tap anywhere to cancel (#4469)

* Double-tap to mine, tap anywhere to cancel

* Make comment consistent

* Remove desktop left-click mining cancel, prioritize mobile unit control over mining

* Mobile: double-tap doesn't configure blocks if unit was double-tapped; control unit detected in first tap of double-tap

* Add 'double-tap to mine' setting (default off)

* Desktop: cancel mining when mined tile is clicked

* Comment typo

* Prevent redundant condition check

* Cleanup

Co-authored-by: Anuken <arnukren@gmail.com>

core/src/mindustry/ui/dialogs/SettingsMenuDialog.java

@@ -327,6 +327,8 @@ public class SettingsMenuDialog extends SettingsDialog{
             game.checkPref("buildautopause", false);
         }
 
+        game.checkPref("doubletapmine", false);
+      
         if(!ios){
             game.checkPref("modcrashdisable", true);
         }