PPA: Removing 'raring' Ubuntu, since it's obsolete according to launchpad.