run_external_diff: use an argv_array for the command line