Install docker via your distro's package manager and configure it for your user.
Use the "vivaldibld.docker" docker template file as follows, to build an appropriate Docker image:
docker build -t vivaldibld - < vivaldibld.docker
After this completes successfully, you can run the docker image, like so: