Update docs to mention new PPA
Merge pull request #8142 from jlaska/updated_ppa

Update docs to mention new PPA