An drop-in replacement for LevelDOWN that works in mysql