Rearranging vagrant configuration files to put Vagrantfile in top-level directory.