Add DEFAULT_SIGNAL hook to let people disable use of SIGINT
Add documentation for set_interrupt_handler