Specref search highlight & reverse lookup

Highlights search terms in Specref DB search results.

Add reverse-lookup search to find reference identifier from spec URL.