Added FeatureIDE preference page.
Algorithm used for configuration coloring can be set in this page.
Merge branch 'master' of ssh://git@github.com/tthuem/FeatureIDE.git