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

This commit was generated by merge_from_chromium.py.

Change-Id: I6e490f395869e575debfe88b30d2ee0853317d20