Patch as-is from Jakub Steiner
Use high-resolution icon: Closes bgno#719941

This is to fulfill one of the GnomeGoals of using high-resolution
icons in all GNOME applications.