Update dodona-tested dockerfile to match pr #609#397

jorg-vr wants to merge 1 commit intomasterdodona-edu/docker-images:masterfrom

update-dodona-tested-609dodona-edu/docker-images:update-dodona-tested-609Copy head branch name to clipboard