simple DNS resolver for docker containers