minor changes to screen output and handle Ctrl-D at liga-prompt
untabified, put python3 shebang and reverted to input()