wxKeyCode: add WXK_LAUNCH_[0-9A-F] for gtk bindings

X11 defines Xf86Launch[0-9a-f], which are then also defined as
GDK_KEY_Launch[0-9A-F].

Unfortunately, keys which are not mapped are just plain ignored and the
application is then not able to receive these keyboard events at all.

The original PR https://github.com/wxWidgets/wxWidgets/pull/157 mapped
only LaunchA/B to WXK_LAUNCH_APP1/2, this patch adds the whole range of
keys and keeps LAUNCH_A/B as aliases for WXK_LAUNCH_APP1/2

interface/wx/defs.h

@@ -1080,7 +1080,25 @@ enum wxKeyCode
     WXK_MEDIA_PLAY_PAUSE,
     WXK_LAUNCH_MAIL,
     WXK_LAUNCH_APP1,
-    WXK_LAUNCH_APP2
+    WXK_LAUNCH_APP2,
+    WXK_LAUNCH_0,
+    WXK_LAUNCH_1,
+    WXK_LAUNCH_2,
+    WXK_LAUNCH_3,
+    WXK_LAUNCH_4,
+    WXK_LAUNCH_5,
+    WXK_LAUNCH_6,
+    WXK_LAUNCH_7,
+    WXK_LAUNCH_8,
+    WXK_LAUNCH_9,
+    /* Alias for backwards compatibility with old gtk bindings,
+     * then continue from LAUNCH_9 */
+    WXK_LAUNCH_A = WXK_LAUNCH_APP1,
+    WXK_LAUNCH_B = WXK_LAUNCH_APP2,
+    WXK_LAUNCH_C = WXK_LAUNCH_9 + 1,
+    WXK_LAUNCH_D,
+    WXK_LAUNCH_E,
+    WXK_LAUNCH_F
 };
 
 /**