[PATCH] gitk: Make selection highlight color configurable