Add highlight-symbol.el.