scripts/config: add an option for making the conf tool write to a different file