gitk: Allow the user to set some colors