Benchmarking RocksDB

To benchmark RocksDB outside of CockroachDB, use upstream's db_bench tool.

To build it, run:

$ git clone https://github.com/facebook/rocksdb.git
$ cd rocksdb
$ make -jNCPUS db_bench DEBUG_LEVEL=0