chore(emacs/lean-syntax): highlight 'import/section/end/namespace/open' arguments

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(emacs/lean-syntax): highlight 'import/section/end/namespace/open' arguments