Update to Tycho 4.0.8

Tycho 3 and later require Java 17 and build time, but this doesn't
matter anymore - the build already requires Java 17 now, because of
Rodin 3.9.

org.eventb.texteditor.parent/pom.xml

@@ -37,7 +37,7 @@
 				<!-- enable tycho build extension -->
 				<groupId>org.eclipse.tycho</groupId>
 				<artifactId>tycho-maven-plugin</artifactId>
-				<version>2.7.5</version>
+				<version>4.0.8</version>
 				<extensions>true</extensions>
 			</plugin>
 		</plugins>