service: add option to generate a DNS zone name to IPAddress.ptr_name()