server/workers/triple/Dockerfile is missing

[frafra]

server/workers/build_docker_images.sh tries to build each Docker image individually, but triple has no Dockerfile.

[frafra]

Such file never existed:

git log --full-history -- server/workers/triple/Dockerfile