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

This commit was generated by merge_from_chromium.py.

Change-Id: I7839b6291c3fd82fb3cccf26a28d2d4ba6eb3228