Update ubuntu documentation

add-apt-repository is not always present by default on Ubuntu systems. Updated the installation doc accordingly.
Merge pull request #4184 from h3/patch-1

Update ubuntu documentation