fix(src/emacs/lean-syntax.el): remove obsolete command set_opaque

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(src/emacs/lean-syntax.el): remove obsolete command set_opaque