LevelDB copyright

@michaelcahill, I believe these changes take care of the LevelDB copyright issues, for your review.