update leveldb to 1.17.0

[kesla]

No description provided.

[juliangruber]

sweet, do you know what changed roughly?

[kesla]

@juliangruber Good thing you asked,

1.16 & 1.17 seem to fix bugs, while 1.15 includes changes to writing (moving from mmap to stdio-based) and a different behaviour when there's a compatction error (putting the db in a read-only state)

Here's the commits for v 1.15, 1.16 and 1.17 respectively:
https://code.google.com/p/leveldb/source/detail?r=0cfb990d58ffba9b56df6e9829ddb9d220824066
https://code.google.com/p/leveldb/source/detail?r=269fc6ca9416129248db5ca57050cd5d39d177c8
https://code.google.com/p/leveldb/source/detail?r=e353fbc7ea81f12a5694991b708f8f45343594b1

[kesla]

oh! And support for iOS...

[juliangruber]

cool, especially the mmap one is relevant, iirc we patched that in place

[kesla]

however, I guess that this should be rebased against #91, since that already include an update of leveldb to 0.15.0

[rvagg]

@kesla yes, please do the PR against 0.11-wip and we'll tidy it up and shipit, been sitting on this too long so we'll call it a day on the things we're waiting on and push them back to a later release

[kesla]

I've added the commit updating leveldb to the 0.11-wip-branch instead.