Update Ultimate framework components & dependencies

[bahnwaerter]

Most of the used framework components and Java dependencies are outdated right now. Therefore an update of all used components and linked dependencies would be great. Such an update may consist of the following tasks:

• Optional: Replace Ant build tasks by Maven
• Migrate from JUnit 4 to JUnit 5
• Update Eclipse Platform to the latest release
• Update Eclipse CDT to to the latest release
• Migrate from Java 11 to Java 17 (addressed by issue Support Java 16 (and higher) #603)

[danieldietsch]

It might also be necessary to fully migrate to Eclipse E4 -- I am not sure if the latest Eclipse Platform still supports the E3 framework. This might require a rework of the GUI components.

[danieldietsch]

BTW: I would really like to have this done. The current state is a major source of tech debt in Ultimate.

[Heizmann]

I absolutely appreciate that. I won't we able to contribute before the end of the semester, maybe I can only contribute after I acquired more funding. So, don't wait for me to get this done.