Add stubs for enough of the RocksDB API that MongoDB builds.