Little tool to change biome ids in an existing Minecraft map