Merge branch 'jolivet/rm-explicit-empty-output_file' into 'main'Remove 535 empty .out and consolidate the use of output/empty.outSee merge request petsc/petsc!8538
Remove explicitly listed empty files and switch to output/empty.out