Catch KeyboardInterrupt exception for user abort (#226)