Merge branch 'master' of https://github.com/Scalable-Key-Value/code
Compilation with rocksdb 3, make rocksdb backend default and optional