added optional storage of constructor names and datatype names while serializing to JSON. Wired this through the different webservers as well

[jurgenvinju]

This adds explicitConstructorNames and explicitDataType as keyword parameters to the JSON readers and writers. An constructor foo(bar(), what()) will be printed as such when explicitConstructorNames=true:

{
   _constructor = "foo",
   lhs = { 
      _constructor = "bar"
   },
   rhs = {
      _constructor = "what"
   }
}

This facilitates mapping syntax trees to JSON.

[codecov]

Codecov Report

Attention: Patch coverage is 57.31707% with 35 lines in your changes missing coverage. Please review.

Project coverage is 49%. Comparing base (edfb516) to head (1c11d5e).
Report is 23 commits behind head on main.

Files with missing lines	Patch %	Lines
...pl/library/lang/json/internal/JsonValueReader.java	65%	4 Missing and 12 partials ⚠️
src/org/rascalmpl/library/util/TermREPL.java	0%	5 Missing ⚠️
src/org/rascalmpl/library/util/Webserver.java	0%	5 Missing ⚠️
src/org/rascalmpl/repl/REPLContentServer.java	0%	5 Missing ⚠️
src/org/rascalmpl/library/lang/json/IO.java	75%	2 Missing ⚠️
...pl/library/lang/json/internal/JsonValueWriter.java	83%	0 Missing and 2 partials ⚠️

Additional details and impacted files

@@           Coverage Diff            @@
##              main   #1862    +/-   ##
========================================
  Coverage       49%     49%            
- Complexity    6315    6337    +22     
========================================
  Files          664     665     +1     
  Lines        59584   59687   +103     
  Branches      8640    8670    +30     
========================================
+ Hits         29496   29624   +128     
+ Misses       27877   27827    -50     
- Partials      2211    2236    +25     

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

[jurgenvinju]

this requires some tests to be added. other than that it seems to do the job.

[jurgenvinju]

@DavyLandman There is another later PR on JSON IO about embedded parsers/unparsers for string values in JSON. This one precedes that one so let's merge this one first. This current feature can be essential for applications/frameworks such as salix that need to unambiguously communicate syntax trees to and from the web clients.