Move Linux-specific provisioning script to "linux" subdirectory.
Desktop: Install Gnome-Shell
Linux: disable partner, backports and proposed updates repository
Workstations: Install VirtualBox 4.2, fix libxslt-dev package name