A RESTful DNS service for Docker containers