[android] Handle Huawei stylus double-tap gesture
The stylus inputs key code 718 when performing that gesture. That's an invalid key code in both Android and Qt, so this translates it to the F25 key. That should be safe to do, since Android only goes from F1 to F24.
See https://krita-artists.org/t/double-tap-gesture-on-huawei-m-pencil-3/178496
Edited by Carsten Hartenfels