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

This commit was generated by merge_from_chromium.py.

Change-Id: I190efa357792229ca14ea1419a069eafa4ae8a90