Import VagrantFile from https://github.com/lastknight/globaleaks_vagrant
Fix vagrantfile