Add Ctrl-C support for interrupting Lean shell.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add Ctrl-C support for interrupting Lean shell.