Work/fix proxy

Fix currently broken proxy settings

• the first commit fixes the actual problem
• the second commit adds an additional "No Proxy" setting, which might be useful to override the system-wide settings