Deprecate --proxy option.

Closes #1601.