search-tool: Use str_tolower_utf8() and str_list_to_index().