Deprecate --proxy option.
Merge pull request #1603 from rwjblue/deprecate--proxy

Deprecate --proxy option.