Change in docker-playground[master]: ttcn3-ggsn-ogs: Rename config files