LoKi dictionary editor interface

Implement a bespoke interface for configuring a dict option of a LoKi tool

We know:

• which tools are LoKi tools
• which options are dicts

We also have metadata about LoKi functors.