Remove restriction to use only F* keys

Now that we use NativeKeyEvent.getKeyText(), which gives a name to most
keys, there is no reason to keep the restriction. I successfully used ALT
to make a presentation after this commit.