#588619 gitk: ignore unknown colors in .gitk