A simple DNS proxy server