PetscOptionsView corrected for petsc 3.7

Merged Praetorius, Simon requested to merge issue/petsc_3-7 into master

Another incompatibility wiht petsc 3.7. solved

Merge request reports