added Vagrantfile so it's easier for users to get