Single / global configuration key for setting proxy

Add `config.proxy.http` configuration and `VAGRANT_HTTP_PROXY` environment variables that can be used to configure all specific proxies. The program specific configuration can still be used for overriding the default settings.

Fixes #14.