Add slim shadowJar variant for key.ui and fix dist build

[wadoon]

Summary

Adds a new configuration to key.ui that produces a slim version of the shadow jar, complementing the existing fat jar:

• Fat jar (unchanged): key-*-exe.jar — everything incl. the optional keyext extensions and examples.zip.
• Slim jar (new): key-*-slim-exe.jar — a minimal executable jar without the optional keyext extension modules (testgen, caching, exploration, slicing, proofmanagement, isabelletranslation) and without the bundled examples.zip.

Implementation

• New slimRuntimeClasspath configuration in key.ui/build.gradle: the full runtimeClasspath minus the six keyext runtime extensions (and their transitive deps such as scala-isabelle/stringtemplate).
• New slimJar ShadowJar task: same wiring as shadowJar (mergeServiceFiles, Main-Class), but built from the slim configuration and excluding examples.zip.
• slimJar is wired into assemble, so a normal build produces both jars.
• Weekly build/deploy workflow (.github/workflows/nightlydeploy.yml) and scripts/jenkins/deployAll.sh now build/upload the slim jar as well.

Fixes

The :dist project referenced the removed key.core.rifl and key.removegenerics modules and was missing a description, which broke Gradle configuration of every build. Both issues are fixed.

Verification

• ./gradlew :key.ui:assemble produces both jars:
  • key-3.1.0-dev-exe.jar (fat, ~58 MB, 22 881 classes)
  • key-3.1.0-dev-slim-exe.jar (slim, ~24 MB, 12 943 classes)
• Slim jar contains no keyext/scala/isabelle/testgen classes and no examples.zip; service files merged with the built-in key.ui/key.core extensions only.
• Smoke test: java -jar key-*-slim-exe.jar --help starts KeY's CLI.

[unp1]

Thanks! Two issues:

1. Starting the slimJar (GUI) fails with:
   Caused by: java.lang.reflect.InvocationTargetException
   at java.desktop/java.awt.EventQueue.invokeAndWait(EventQueue.java:1303)
   at java.desktop/java.awt.EventQueue.invokeAndWait(EventQueue.java:1278)
   at java.desktop/javax.swing.SwingUtilities.invokeAndWait(SwingUtilities.java:1464)
   at de.uka.ilkd.key.gui.MainWindow.getInstance(MainWindow.java:437)
   ... 13 more
   Caused by: java.lang.NullPointerException: Cannot invoke "java.nio.file.Path.resolve(String)" because "this.exampleDir" is null
   at de.uka.ilkd.key.gui.actions.RunAllProofsAction.lambda$loadFiles$1(RunAllProofsAction.java:93)
   at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:214)

I think we can provide the examples.zip in the slimJar (should prevent that error and does not enlarge the distribution by too much)

2. Building via ./gradlew shadowJar fails with
   Could not determine the dependencies of task ':dist:shadowJar'.

Could not resolve all dependencies for configuration ':dist:runtimeClasspath'.
Could not resolve all dependencies for configuration ':dist:runtimeClasspath'.
> Could not find io.github.wadoon.key:key-citool:1.7.0-SNAPSHOT.
Searched in the following locations:
- https://central.sonatype.com/repository/maven-snapshots/io/github/wadoon/key/key-citool/1.7.0-SNAPSHOT/maven-metadata.xml
- https://central.sonatype.com/repository/maven-snapshots/io/github/wadoon/key/key-citool/1.7.0-SNAPSHOT/key-citool-1.7.0-SNAPSHOT.pom
Required by:
project ':dist'

[wadoon]

Removed dist folder and added examples.zip in slim version