[WE-19] Deploy configuration overhaul and support for proxies#243

Merged

rsora merged 14 commits intomasterfrom

Jul 27, 2018

Commits on Jan 26, 2018

Add configuration setting to set proxy server
hannobraun
committed

Commits on Jul 24, 2018

Merge branch 'devel' into proxy-setting
matteosuppo
authored

Commits on Jul 25, 2018