Ubuntu 13.10

As with every Ubuntu version, the upgrade is kind of broken.
* systemd doesn’t like hal anymore. Recommended procedurce: remove hal
* KDE has forgotten its sound configuration and preferes the HDMI port over the onboard sound.
* akonadi and apparmor don’t work together. I suggest to remove apparmor
* …to be continued.