Change in docker-playground[master]: ttcn3-*/jenkins*.sh: use $SUBNET everywhere