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)