Added color selection to preferences

Now default (used for highlights), comment and header colors can be set.