Add redis database backend

Advantages: 
* faster than LevelDB
* Database can be on remote server
* More tools (especially redis-cli is very easy to use) and libraries available (see http://redis.io/clients)