LevelDB 1.13

Fix issues 77, 87, 182, 190.

Additionally, fix the bug described in
https://groups.google.com/d/msg/leveldb/yL6h1mAOc20/vLU64RylIdMJ
where a large contiguous keyspace of deleted data was not getting
compacted.

Also fix a bug where options.max_open_files was not getting clamped
properly.



git-svn-id: http://leveldb.googlecode.com/svn/trunk@76 62dab493-f737-651d-591e-8d6aee1b9529
14 files changed