fix(emacs/lean-syntax): highlight axioms

fix #382
fix(emacs/lean-syntax): highlight axioms