Switch to cleaned-up LevelDB 1.12 branch.

This pull switches the src/leveldb/ directory to the code in the current bitcoin/leveldb repository (branch bitcoin-fork, using git-subtree), with a cleaned-up history.

This removes some Ripple-specific changes that made it into our repository earlier.