Update docs for Ubuntu >= 12.10

The package that provides add-apt-repository changed in Ubuntu 12.10.