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

This commit was generated by merge_from_chromium.py.

Change-Id: I746f31f37177cd2da898865863c36119ca42f953