Add signal handler for SIGINT