MaraDNS: A small open-source DNS server