js: add Key lookup

• src/Keyring.js: getKeys() now has the option "search", which will trigger a remote lookup (as configured in gpg) for the string given as pattern.
• src/permittedOperations: make use of the new 'locate' option in keylist
• DemoExtension: Add a button for lookup, to demonstrate the functionality