MCEdit, Minecraft World Editor