Merge branch 'jolivet/proper-capitalization' into 'main'configure: fix capitalization of multiple packages and PETSc itselfSee merge request petsc/petsc!8597
configure: fix capitalization of multiple packages and PETSc itself