Fix the name of the package that provides apt-add-repository on Ubuntu
Merge pull request #8122 from tgerla/ubuntu-docs-fix

Docs: fix the name of the package that provides apt-add-repository on Ubuntu