gnome-color-manager: add it to gnome3.
gnome-desktop: version bumped to 3.8.1.