backport search scrollto & filter to stable5

backport scrollto and highlighting of search results in the filelist to stable5

@karlitschek @DeepDiver1975 @icewind1991 please review