Added signal handler for CTRL+C