[PATCH] gitk: add Update menu item.