Removed way to add preferences into PyDev. Most things can be done by getting the pydev preferences and setting the values directly (such as eclipse-color-theme does), so, removing the extensions to 'add' a new preference to be used in PyDev.
Merge pull request #55 from akurtakov/development

Improve tycho build.