Added an alias to download my "portable" `Vagrantfile`