Merge PPA install instructions in README.md on branch 'master' into debian