Change in docker-playground[master]: ttcn3-bsc-test/jenkins.sh: fix '--ulimit core=-1' set twice