Fixed missing highlighting of search results in the editor.
Merge remote-tracking branch 'origin/transparent_refs' into transparent_refs
Removed obsolete hooks for the code walker since we do not depend on the SWI code walker.
Simplified collecting of properties in find_reference_to/9.
Modified handling of transparent references. Multiple transparent references resulting from one call are collapsed into one match. This applies to the reference and the undefined call searches.