feat(frontends/lean): rename 'using' command to 'open'

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean): rename 'using' command to 'open'