add tramp configuration.
add auto-highlight-symbol