Add redis database backend

Advantages: 
* probably __(!)__ as fast as LevelDB
* Database can be on remote server
* More tools and libraries available (see http://redis.io/clients)