[gnome-shell] Update to 3.9.1