Consider using PETSc specific options to project out NULL space

[pbauman]

This would be an alternative to pinning the pressure with a penalty term. We would, of course, still keep the existing penalty version around. Would only apply for using PETSc (which we use most of the time anyway) and only for Krylov solvers, but may be worth it for conditioning at some point and wouldn't be too hard to add.