Fix option to disable PETSc debugging

Reported-by: Johannes Ring <johannes.ring@gmail.com>
Merge pull request #519 from hashdist/ahmadia/fix_petsc_debugging

Fix option to disable PETSc debugging