feat(frontends/lean): add Exit command

Remark: on Windows, Ctrl-D does not seem to work.
So, this commit also changes the Lean startup message.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean): add Exit command