Switch to docker's official Vagrantfile