Copying the appropriate Vagrantfile instead of symlinking, so each user can make necessary modifications