Setting up Vagrantfile. This is a bit of an experiment and will take some time to get right.