def finish(self):
super(InterruptibleMixin, self).finish()<EOL>signal(SIGINT, self.original_handler)<EOL>
Restore the original SIGINT handler after finishing.

This should happen regardless of whether the progress display finishes
normally, or gets interrupted.