gnome-panel: add a patch to compile for gnome 3.8.x.