Merge third_party/leveldatabase/src from http://git.chromium.org/external/leveldb.git at 77ecdbbe2c5eb06696658955508e30fd0a1ebebe

This commit was generated by merge-from-chromium.py.

Change-Id: Ie39be8ba5740e9e6f6a21700a0ef2bcddd34b882