An authorative nameserver using Redis as a backend written in Python with Gevent