Bumps the gnome-shell version to 3.14.