Backend for stores

[arthur00]

The store uses a simple dictionary to store data, which may lack some needed functionality (disk persistence, maybe multithreaded access?). An interesting alternative is Redis (http://redis.io/topics/introduction).