fix a bug in apt-repository where 'ppa' is used in a plain http://ppa. .... url
Merge pull request #2911 from sergevanginderachter/apt-repo-ppa-bug

fix an idempotence bug in apt-repository where 'ppa' is used in a plain http://ppa. ....
Merge branch 'devel' into local