Allow specifying a Vagrantfile when exporting with the CLI