fix(frontends/lean): do not display Ctrl-D message on Windows

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>