Rename vagrant-misc/Vagrantfile to Vagrantfile