Converting curl proxy settings to PHP streams proxy settings.