Merge branch 'stefanozampini/minsurf-local' into 'main'

Improve support for nonlinear domain decomposition solvers

See merge request petsc/petsc!7084

SNES ex12: add p4est test with ASM with DD subdomains