[Fix #525] Make SignalException cop configurable