cli: added graceful handling of keyboard interrupts
cli: added graceful handling of keyboard interrupts

ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,squaresLab/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox