Migrate names of properties from 'leveldb' prefix to 'rocksdb' prefix.

Summary: Migrate names of properties from 'leveldb' prefix to 'rocksdb' prefix.

Test Plan: make check

Reviewers: emayanke, haobo

Reviewed By: haobo

CC: leveldb

Differential Revision: https://reviews.facebook.net/D13311

include/rocksdb/ldb_tool.h

@@ -10,9 +10,6 @@ class LDBTool {
   void Run(int argc, char** argv, Options = Options());
 };
 
-namespace leveldb = rocksdb;
-
-
 } // namespace rocksdb
 
 #include "rocksdb/rocksdb_to_leveldb.h"