Graceful lit shutdown on user keyboard interrupt [Ctrl+C] was a
longstanding goal of mine. After a few refactorings this revision
finally enables it.
Printing of a helpful summary for interrupted runs (just as the one for
completed runs) will be tackled in future revisions.
I tested this on macOS and Linux.