Gnome-Shell-3.10_v30

Emit signals for when the dock is triggered to show or hide.

These signals are not used by the extension itself, they are provided for
compatibility with other extensions - notably
workspaces-to-dock@passingthru67.gmail.com - which can thus connect to this
signals to know when the dash is shown or hide.