feat(frontends/lean/notation_cmd): add 'notation' command

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(shell/lean): remove --olean option

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