Add Vagrantfile, tweak README