Replace the LevelDB cache store with one based on RocksDB

RocksDB is a forked LevelDB that provides better performance and support. The JNI layer is also maintained in sync with the native code.
The LevelDB implementation can be replaced with RocksDB while providing the same configuration API.