Improve NTP example sketch; use DNS to get NTP server network address.