Merge change 3691 into donut

* changes:
  SDK Updater: handle HTTP proxy settings, load & save.