Merge branch 'master' into wsmenu.

Need to continue on the menu, and an updated version of main is always
nice.
Add second set of key combinations for workspace dialog.

In the workspace dialog, keys are grabbed and not passed to the
underlying windows. The idea is to add the functionality to change
workspaces by name (and also to change the name of a workspace).
Update README.
Merge branch 'wsmenu'.

Introduces two sets of keys; blocks all actions to underlying windows.