tools.which: cleanup code a little.
X11 XK_ISO_Left_Tab is shift tab
X11, give same input as gtk when pressing shift, tab, alt..
ui.backend.cocoa.views: fix build error on older OSX versions.
ui.backend.cocoa.views: add platforms.txt.