KeyboardInterrupt handler on the main()