Extract highlight-symbol-symbol-highlighted-p.
Protect against users adding the same symbol twice.
Bump version to 1.2.