Add search functions for hoogle
tidy
Support multiple bindings for executors
Bind F10 to agenda
Tweak org keys
Generalise option-reading from search method prompt