Reimplemented previous commit relating to thumbnail portholes not adjusting for the top panel when the primary workspace is on an secondary monitor. Minor tweak fixes issue when gnome shell is restarted.
dockedWorkspaces - Code cleanup.
Updated build_release (no longer need to include version number). Updated installation zip for Gnome 3.10.