Make Eclipse .settings consistent across all subprojects

...dio.gef.editor/.settings/org.eclipse.core.resources.prefs

...tudio.gef.editor/.settings/org.eclipse.core.runtime.prefs

...onstudio.rodin/.settings/org.eclipse.core.resources.prefs

...tionstudio.rodin/.settings/org.eclipse.core.runtime.prefs

...rob.core.tests/.settings/org.eclipse.core.resources.prefs

de.prob.core.tests/.settings/org.eclipse.core.runtime.prefs

de.prob.core.tests/.settings/org.eclipse.jdt.core.prefs

de.prob.core/.settings/org.eclipse.core.resources.prefs

de.prob.core/.settings/org.eclipse.core.runtime.prefs

...disprover.core/.settings/org.eclipse.core.resources.prefs

...b.disprover.core/.settings/org.eclipse.core.runtime.prefs

...ventb.disprover.core/.settings/org.eclipse.jdt.core.prefs

...b.disprover.ui/.settings/org.eclipse.core.resources.prefs

...ntb.disprover.ui/.settings/org.eclipse.core.runtime.prefs

....eventb.disprover.ui/.settings/org.eclipse.jdt.core.prefs

de.prob.symbolic/.settings/org.eclipse.core.resources.prefs

de.prob.symbolic/.settings/org.eclipse.core.runtime.prefs

de.prob.symbolic/.settings/org.eclipse.jdt.core.prefs

de.prob.ui/.settings/org.eclipse.core.resources.prefs

de.prob.ui/.settings/org.eclipse.core.runtime.prefs