Add Ctrl+P shortcut to filter libraries (#1899)
* Add Ctrl+P shortcut to filter libraries
In the spirit of the Chrome devtools "sources" panel, we'll use Ctrl+P to
search libraries and classes in the debugger view. Fixes #1294
* fix screen focus
* focus the filter textfield when the ScriptPicker opens
