added a file for auto-highlight-symbol-mode.