commit log search improvements

[extrawurst]

derived from #1800

• show hits while still searching
• highlight matches
• search in diffs
• search authors emails
• search progress bar (via make commit filtering async job #1841)
• benchmark log-walking vs scanning list of commit-ids (via make commit filtering async job #1841)
• show index of selection amongst hits (via show search index #1839)