[gnome-shell-design] (14 commits) ...Update the workspace sidebar again, to the 'one empty workspace' version

[Jakub Steiner <jimmac src gnome org>]

Summary of changes:

  3318721... Linear view would now be vertical (*)
  83816f3... add a 'remove workspace' button (*)
  e813f89... forgot tabs for the 8 workspace mockup (*)
  4ca701a... update DND stuff with the vertical workspace thumb stuff (*)
  fccf0a1... remove the vertical modal dialog version (*)
  8e07dfd... animated workspaces in vertical mode (*)
  bfc52f3... adding five workspaces, switching to second (*)
  9fd6ceb... adding sixth workspace (scaling down the sidebar) (*)
  a9b11fe... rought cut of teh whole thing done. (*)
  8009bcc... fix window thumbs (*)
  56eef39... cleanup (*)
  55d9780... Update the workspace sidebar behavior (*)
  70a0e72... keep the [+] thumb in the same location. (*)
  db28f19... Update the workspace sidebar again, to the 'one empty works (*)

(*) This commit already existed in another branch; no separate mail sent