experimental HiFi tree diff algorithm for use with quick-fixes and refactoring commands in the IDE

[jurgenvinju]

This transforms a pair of parse Trees <original, rewritten> to a list[TextEdit]s. The resulting
TextEdits are ready for use in VScode extensions via LSP features in util::LanguageServer and
util::IDEServices.

The single pass parse tree recursion maps sub-tree and sub-list differences to textual differences in a special way.
It lifts on the semantics of special parse tree non-terminals (literals, lexicals, separators) to ignore certain
superfluous changes made in the rewritten tree. As a result the edited source text retains more of
its original layout, including indentation and comments, as compared to yielding the
rewritten parse tree to a string and replacing the entire file.

Especially with separated lists this algorithm does amazing work. Suppose you have a target pattern:
<Element e>, <{Element ","}* newElems, <Element f> and newElems happens to be empty, then:

1. Rascal will remove the superfluous separators and layout around the empty list.
2. HifiTreeDiff will try and keep indentation and source code comments after the e and before the f even
   though these have been replaced by the concrete target pattern.
3. If the list is non-empty, also the layout before the new sublist and after the new sublist will be taken from the
   original list where possible.

The smaller diffs are not only good for high-fidelity in general, but also in particular smaller diffs are essential for providing interactive preview and undo features in the IDE. This PR enables language engineers to use parse tree rewriting rather than collecting the text edits themselves.

TODO's:

• write test, and fix initial issues triggered by the tests
• test the example in the documentation
• shorten the documentation
• document the TextEdits module
• short-circuit lexical identifiers (do not go deeper)
• write indentation inheritance algorithm

[codecov]

Codecov Report

Attention: Patch coverage is 80.00000% with 1 line in your changes missing coverage. Please review.

Project coverage is 49%. Comparing base (e0bfa4d) to head (ec718d1).
Report is 3 commits behind head on main.

Files with missing lines	Patch %	Lines
src/org/rascalmpl/types/NonTerminalType.java	50%	0 Missing and 1 partial ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##              main   #2031   +/-   ##
=======================================
  Coverage       49%     49%           
- Complexity    6237    6259   +22     
=======================================
  Files          663     663           
  Lines        59211   59216    +5     
  Branches      8629    8631    +2     
=======================================
+ Hits         29508   29584   +76     
+ Misses       27473   27387   -86     
- Partials      2230    2245   +15     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[jurgenvinju]

@tvdstorm @DavyLandman I don't have the energy to finish this now, so I'm parking it here until I do. I wanted you to know it exists, because low-fidelity rewrites are a common issue we have to solve and because refactoring and quick-fixes in VScode are now under our fingertips.

[DavyLandman]

Cool stuff 👍