Merge branch 'stefanozampini/matis-negative-indices' into 'main'matis negative indicesSee merge request petsc/petsc!4923
IS tests ex6: add test for ISRenumber