Added color selection to preferences

Now default (used for highlights), comment and header colors can be set.

I had the same problem as https://github.com/eclipse-color-theme/eclipse-color-theme/issues/114 and https://github.com/winterstein/Eclipse-Markdown-Editor-Plugin/issues/7