[PATCH 1/5] ids-functions.pl: Introduce generate_dns_servers_file()