logic.ijs: one line library and shannon expansion
testkbd: show how to not halt on ^C