textDocument/semanticTokens/full/delta

[soulomoon]

To suppport textDocument/semanticTokens/full/delta,
Several things need to be taken care of.

• Use the cache in the shake usesWithStale or create new dedicated cache for semantic tokens
  • we need a dedicated cache, since stale corresponding to the last successful computation, and what we need is the last successful response. (since range in successful computation might be edited by possitional mappings to generate a successful response)
    • new entry in ShakeExtras, semanticTokens :: STM.Map NormalizedUri SemanticTokens
• Assign a new id to each response of semantic tokens.
  • new entry in ShakeExtras, semanticTokensId :: TVar Int