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...