[Mono-docs-list] Proxy patch

[Miguel de Icaza]

Hello,

> 	because I'm behind a proxy right now I couldn't upload my contributions
> to monodoc, so I've added support for a proxy. It looks in
> the /system/http_proxy registry key. That works for me but I've not
> tested in other places.

For now, I would rather not depend on GConf since it will make a port to
Windows more difficult, maybe we could store this on the XML that
Monodoc uses for its settings.

And maybe a tool could set these values from the command line that uses
gconf.

miguel.