Fix petsc configuration when pugs is built without mpi support

By now the choice is made that mpi is required when PETSc. This may change in the future: it is not that important but would probably require the use of #ifdef directives...

enabled an automatic merge when the pipeline for 9963d6a0 succeeds

merged

mentioned in commit e548664c