Documentation fix

This fixes #5827 by specifying the proper name for the software package
which provides add-apt-repository. It may have at one point been called
software-properties-common, but Ubuntu's package search page has
packages going back to 10.04 LTS showing add-apt-repository in the
python-software-properties package.