a naive dns server, just for fun