ISIS-588: small bookmark panel, and keyboard shortcut.

I've chosen alt+] as the keyboard shortcut.
Perhaps this ought to be configurable, but it isn't at the moment.