Update a dependency range that I forgot

Should have happened in 4a12e392.

de.bmotionstudio.rodin/META-INF/MANIFEST.MF

@@ -7,4 +7,4 @@ Fragment-Host: de.bmotionstudio.gef.editor;bundle-version="[5.7.0,5.8.0)"
 Bundle-RequiredExecutionEnvironment: JavaSE-11
 Bundle-Vendor: HHU Düsseldorf STUPS Group
 Require-Bundle: de.prob.ui;bundle-version="[7.6.0,7.7.0)",
- org.eclipse.ui.navigator;bundle-version="3.5.0"
+ org.eclipse.ui.navigator;bundle-version="[3.9.0,4.0.0)"