Change in docker-playground[master]: ttcn3-bsc-test: add -h (hack) option to jenkins.sh