Vagrant host and Docker container for Jepsen