Vagrantfile for deploying the openhie demo