tools: add dynamically modifying RocksDB configuration (#541)
tools: add dynamically modifying RocksDB configuration (#541)

* tools: add dynamically modifying RocksDB configuration

* Update wording

pingcap/docs,pingcap/docs,pingcap/docs