misc/fnservers: The script will now print out AAAA records too. Added new server verne