Add auto-highlight-symbol
Add `auto-highlight-symbol' and switch from AC to Company