Adding Vagrantfile.txt to facilitate bootstrap