Update ubuntu documentation

add-apt-repository is not always present by default on Ubuntu systems. Updated the installation doc accordingly.