Build and install RocksDB

RocksDB is an embeddable persistent key-value store for fast storage.