Merge branch 'release'

Merge branch 'stefanozampini/deprecated-option-no-overwrite' into 'release'

Deprecated options should not overwrite option values if the latter are given

See merge request petsc/petsc!8362

PetscOptionsDeprecated: do not overwrite new option if it is provided