feat(emacs): add syntax-highlight for clear and revert tactics
feat(library/tactic): add 'clears' and 'reverts' variants
chore(lean-mode): remove 'annoying' abbreviations