improved campaign mode. use config value instead of writing a new file. moved configuration of campaign (the list of missions) from the lua file to the default config. you need to delete your local orxonox.ini in order to see the changes.