Initial Vagrantfile, copied from vagrant-coreos