Run one Session until stdin closes: every line is a command, and the
answer is one line (see session). After a panic the process ends:
the front end starts another with the program it holds
(vscode-extension/src/server.ts), rather than waiting for an answer
that never comes.