More removal of server pid file handling
server: remove the -n dnsserver option, declared obsolete for years.