Merge third_party/leveldatabase/src from https://chromium.googlesource.com/external/leveldb.git at 9768d126762064fb35c6fd19e41ef9b988c3c329

This commit was generated by merge_from_chromium.py.

Change-Id: I714750e4f02e3e2facce56690d1ce7efcc48dc60