Docker container to run lava-tool, which is only available as a debian package.