Add --with-strict-petscerrorcode configure option to optionally enable non-discardable PetscErrorCode