fix an idempotence bug in apt-repository where 'ppa' is used in a plain http://ppa. ....

...... url

fixes #2831