Install gir1.2-gmenu-3.0, needed by the apps-menu GNOME Shell extension (Closes: #8096).

This works around Debian#765460.
Drop workaround to start spice-vdagent in GDM (Closes: #8025).

This was fixed in Jessie proper.