the previously deleted set proxy from JGitUtil was just...meh

This checks if we got a proxy set in the properties file
Additionally the user can provide a list of not-proxy hosts.
This setup will then check, if a proxy is available and if so,
make sure it only gets used if the uri is not on the not-proxy list.