Allow petsc4py.PETSc.Options to have an empty string prefix

Previous behaviour was

>>> print(PETSc.Options("").prefix)
None

It now is

>>> print(PETSc.Options("").prefix)
""

Merge request reports

Loading
Loading