Introduce vagrant-proxyconf for those who are behind firewall