tools/gen_scripts/gtk_generate_extra_defs.sh: Add --make-patch option.