Update source.pp

Possibily to add key_options to apt::key from the source repository. Useful for a proxy for example.