Signal handler needs to change when using Python
In order to get a Python stack trace with a signal error, one needs to
PETSc.Sys.popErrorHandler()
in order to remove our default signal handler. Where should this go in the documentation? Should we make this happen automatically in petsc4py? @dalcinl @psanan