Specify Vagrantfile filename

Tottbox Step 5: specify that the Vagrantfile must be saved as "vagrantfile."