Initial commit.

Add license, README and misc files.
Implement redis_server.py.

redis_server.py provides an easy way to start a redis server for a single
program.
Implement index.