Add shortcut button popup menu options.

Details:
Option to show the shortcut button popup menu arrow at the top
Option to hide thumbnails when the shortcut button popup menu is shown
Reworked code for shifting the dock when the message tray is visible (Copied from Dash-To-Dock).
Begin Gnome 3.14 port.