[FIX] shell: now catch SIGINT and raise a regular KeyboardInterrupt