Improved Search-Highlighting in Console

[LucaWintergerst]

Describe the feature:
Console should offer highlighting of search results in addition to just highlighting and jumping to the first hit.
Ideally the search would behave in a similar way to how Chrome does it, which is to not only highlight the matching terms on the page but also to highlight the results in the scroll bar.

Describe a specific use case for the feature:

[bmcconaghy]

Talked with @LucaWintergerst about this. The results highlighting is already in the latest ace/brace.

The scroll bar marks make sense (see screenshot).