Properly install ppa, avoid GPG key warning
Merge pull request #702 from kim0/patch-2

Properly install ppa, avoid GPG key warning. Also closes #715