[lava-users] Running Lava in docker on Ubuntu.