Support stdin in server-side execution#415

davidbrochart wants to merge 1 commit intojupyter-server:mainjupyter-server/jupyverse:mainfrom

davidbrochart:stdindavidbrochart/jupyverse:stdinCopy head branch name to clipboard