Change in docker-playground[master]: ttcn3-fr-test/jenkins.sh: revert docker run --rm