set_managed_proxy_environment should be OS-independent
At least two people have been confused by the fact that there are two copies of set_managed_proxy_environment
(one for Windows, and one for Unixoids), and that confusion has come close to producing at least two bugs. Time to refactor it to produce a smartlist on all OSes.