A redis frontend to google's leveldb