Change in docker-playground[master]: ttcn3-fr-test/jenkins.sh: make use of clean_up()