Use the vagrant-proxyconf plugin to allow the usage of a HTTP proxy

Change-Id: Ibab09cdd9d8f2457035fb5cee1187936a454983c
Merge "Use the vagrant-proxyconf plugin to allow the usage of a HTTP proxy"