Add instructions for working with boot2docker behind a proxy.