Adding the ability to set per repo proxy settings.

I need to override global proxy setting to cause local repo to not use the proxy. Can be done by setting proxy=_none_ in the repo config.