Update compSite.xml to generate the update site for Rodin 3.10
updating the splash image
Fix missing Eclipse source bundles installation
upgrading maven-antrun-plugin-version to 3.2.0
upgrading to the new version of Eclipse (4.38) and Java 21
.DS_Store banished!
updating the compSite.xml file to generate the Rodin 3.9 update site content
Upgrading the Rodin Core update site script