Interactive Proof Replayer

[wadoon]

Intended Change

A user interface that allows you to replay stored proofs interactively.

The idea is to (a) allow restoring stored proofs partially, (b) on error try to message your current state into a replayable state (e.g. hide formulas etc.), and (c) restart the proof replay.

Feature

• Load Proofs from file and store them into a data structure
• Nice beautiful proof tree, similar to the "Proof Tree".
• Clicking on a tree node allows you to
  • Apply selected rules on the current proof node
  • Apply a sub-tree to a proof node
  • If applied, jump to the (last) corresponding proof node.
• Applied with success => "green" marked tree node
• Applied with error => "red" marked tree node
• Shows stored information of rule application
• Shows why rule application was not applicable

Type of pull request

• New feature (non-breaking change which adds functionality)

Ensuring quality

• I made sure that introduced/changed code is well documented (javadoc and inline comments).
• I made sure that new/changed end-user features are well documented (https://github.com/KeYProject/key-docs).
• I added new test case(s) for new functionality.
• I have tested the feature as follows: ...
• I have checked that runtime performance has not deteriorated.
• For new Gradle modules: I added the Gradle module to the test matrix in
  .github/workflows/tests.yml