Add proxy option to install_ruby.