Handle mozilla-firefox.desktop to firefox.desktop transition for user config
- Change gnome-shell-favourite-apps-firefox.patch to also patch the JS code
to handle the transition from mozilla-firefox.desktop to firefox.desktop.
(#808894, reported by Jonathan Kamens)