devtools

Use "fuzzy match" in debugger libraries search

#2904

Merged