bash prompt: tweak colors