Fix rocksdb install scripts

Add tools/install_rocksdb to build and install rocksdb just like
setup_dev_system does, we can use this scripts to upgrade the rocksdb.