GDA-5449 add preferences to swicth off PyDev for everyone by default
until the preference is swicthed on.

Also renamed the GDA Jython editor to distinguish it from the editor
supplied by PyDev.
Merge branch 'master' of ssh://dascgitolite@dasc-git.diamond.ac.uk/gda/gda-core.git