Specify editor role for debugging server side tokens.
First steps to make domain-specific colouring pass through to CodeMirror.
Generalise predicateInfo to tokenInfo and move HTML generation to the
server to avoid the need for additional client code if more token types
are supported.
Provide server enhanced hover information for user-defined token types.
Also ignore operators.
Perform the cross-referencer and colouring relative to a temporary
module that defaults to `swish` (should become the pengine application).
This both allows for concurrent cross-referencing and provides the
proper operator context.
FIXED: Make sure `Next' brings us back into state 'running'
ADDED: Show CPU time if this is more than 0.1 second.