soothsayer: world kernel upgrade to 3.12.8 and 3.13.1
soothsayer: add gnome-maps to world
soothsayer: update gnome-shell/g-s-d patches to 3.10
soothsayer: vmware-modules patch for linux 3.13