get rid of Mystcraft stuff from MinecraftOres.xml; other configs will
follow; the idea is that we integrate with Mystcraft implicitly
rename some config tab titles
BiomeHeightScale should be robust to the amplified world type
rewrite the deferred population algorithm; needs a lot of testing, but
it might fix #30