Added reduction key theme.
Add visual-regexp and highlight-symbol to installed packages.