add auto-highlight-symbol.el