highlight-symbol: 更改快捷键 F3 => F7

这样更改的原因是，可以通过默认的键绑定使用宏功能。
而改为 F7 是因为，在 MacOSX 中 F7 似乎没有快捷键。