Doc: Small fix to bibliography
PetscInitialize() and PetscFinalize() should only process -server argument (with PetscPOpen) if PETSc is built with server support
Merge branch 'barry/fix-petscpopen-in-finalize' into next