Update the InfoTree component

[wadoon]

Depends on #3785

Intended Change

1. Make InfoTree more reliable, i.e., show all known entities in the signature.
2. Show set Taclet options
3. Show Profile

InfoTree also shows the set Taclet options given in the InitConfig

InfoTree now shows all functions and uses the documentation given inside KeY files

Newest picture:

More categories available:

A little bit older, but still accurate: Functions are either shown sorted by name or by return type.

Highlighting of KeY syntax in InfoTree

This could also be used to show the taclets in the InnerNodeSequentView.

Plan

• Transformer and Predicates, not needed; there are treated as functions.

Type of pull request

• Refactoring (behaviour should not change or only minimally change)
• 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

Additional information and contact(s)

The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.