Remove some DSL options.

Options for CraftBukkit, Cauldron, MinecraftPortCentral, and MinecraftPortCentral Plus are not legally possible any longer.

However in there place in Glowstone, and one day (hopefully) MinecraftRuby.