LevelDB library in pure PHP with modifications for Minecraft: PE