Update source.pp

Possibily to add options to gpg command from the source repository. Useful for a proxy!