Fallback mechanism to connection through proxy

Try to connect to the server without proxy when the proxy fails.

It is related to downloading, uploading and deleting files inside the repository

(a bug was found as well, delete was not using the proxy).

re #7571
Merge branch 'feature/7571_proxy_linux' into develop