Docs for Ubuntu >= 12.10

The package that provides add-apt-repository changed