The Removal of Recoder

[wadoon]

This PR replaces recoder by javaparser, or more precisely by key-javaparser. The special version has support for ProofJava, SchemaJava and Java 17+, all in one grammar.

Notes on the grammar can be found in the key-docs

This MR requires a complete overhaul of the KeY-Infrastructure.

Status:

• [x] Migration of KeY/Java transformations from recoder to javaparser
  • [x] Get compile-error free for testing
  • [x] Check JavaInfo for unused methods and delete them
  • [x] Testing (wip)
    • Currently there is one transformation example
    • JavaRedux is parsed and translated.
    • Tests for translation from JP-AST to KeY-AST
• [x] Reimplementing the old infrastructure on top of Javaparser
• [x] Tests
  • What to do with TestProofJavaParser and TestSchemaJavaParser?
  • TestKeYRecoderMapping
• [x] Activate the new implementation.