New option `highlight-symbol-foreground-color' to customize foreground-color other than black