dns: Add with-dns-servers to allow custom DNS lookups.
tools.dns: Add dns-host word to look up DNS from a specific server.
tools.dns: Fix using.
tools.dns.public: Add some public DNS server ips and helper words.
alien.libraries.finder: adding platforms.txt.
webbrowser: adding open-file support for pathnames.