Merge branch 'stefanozampini/fetidp-biot' into 'main'

KSPFETIDP: support multiple "pressure" dofs for Biot model

See merge request petsc/petsc!8140

SNES ex64: Biot consolidation model a la Winther/Mardal