gnome-color-manager: update to 3.10.1.