Vagrantfile (etc) for my Python dev stack.