Add the Universe Type Checker as a Dependency

[PiIsRational]

Related PR

This PR depends on #3686.

Intended Change

Add the universe type checker as a direct dependency to be able
to use it from KeY directly without the need to download it separately.

Plan

• test the change further
• Wait for Add support for Annotation Processors in the Javac Extension #3686 to be merged
• Document the changes

Type of pull request

• New feature (non-breaking change which adds functionality)
• There are changes to the (Java) code
• There are changes to the deployment/CI infrastructure (gradle, github, ...)

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 have tested the feature as follows:
  • used the javac extension with the checker enabled
• I have checked that runtime performance has not deteriorated.

Additional information and contact(s)

@WolframPfeifer is involved in this pull request.

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