Copied version of the server highlighting library
Include server-side highlight server
Avoid dependency on server-side UUID
Fixed some resync errors.  Seems fetched an unstable version?
Get basics working again.
Use dicts to deal with JSON
Pass the notion of role down to the token enrichment and from there to
the server.
Only leave the editor if we created one.
WIP on query role
Realise enriched highlighting when starting from content.
FIXED: JS exception if there are no examples.
matchToken() now returns `undefined` as `null` is a normal style.
Trigger server refresh if we repaint a syntax error.  This probably
means there was an overlapping change and thus the error may have gone
now.
Documentation and cleanup of cross-reference data
WIP: Try get the editor source reference to the server (does not work).
Fixes to get the source id of the query editor back to the server.
No need to pass the source with a change event
WIP to get query coloring
Fixed to using dicts for token management
FIXED: manage shadow editor id and creation.