Added how to set the proxy for vagrant