Move RocksDB repo to external/