fix #746

Use `add-face-text-property' instead of `put-text-property' to highlight
matches so that faces in candidates are not just erased