Generates XML files for the ATLauncher