A way to extract the DNS servers, iOS. Kind of ugly, and I didn't want to try to figure out how swift would deal with a 2-D char array, ... but it works.