Implementation of proxy support for ScriptRepository

re #7438
Implementation of proxy support for windows

It does correct the parsing of proxy_http in linux also

re #7438
Merge branch '7438_proxy_repo' into develop