PetscInitialize() and PetscFinalize() should only process -server argument (with PetscPOpen) if PETSc is built with server support
PetscViewerFileSetMode: remove duplicate man page