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

This commit was generated by merge_from_chromium.py.

Change-Id: Ia706786191cca7b79f87527162eb5b4572a56818