Update repository.pp

wiki no longer specifies to use precise distro
Update repository.pp

keys aren't installed unless they don't exist so doesn't matter if we specify keys twice.. looks cleaner this way..
Merge pull request #40 from dodwmd/master

wiki no longer requires precise distro