Update to Tycho 3.0.5 to make tests work again

tycho-surefire-plugin 2.7.5 tries to use the javax.annotation package,
which no longer exists in Rodin 3.9's Eclipse version (it was replaced
by jakarta.annotation). tycho-surefire-plugin 3.0.5 seems to work fine.
Tycho 3 and later require Java 17 at build time, but this isn't a
problem anymore, because Rodin 3.9 itself already requires Java 17.

tycho_build.gradle

@@ -12,7 +12,7 @@
 apply plugin: 'base'
 
 import groovy.io.FileType
-project.ext.tychoVersion = "2.7.5"
+project.ext.tychoVersion = "3.0.5"
 
 try {
 	workspacePath = workspacePath